Contextual rewriting as a sound and complete proof method...

Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

Marisa Navarro, Fernando Orejas, Jean-Luc Remy

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

Рік:

1993

Мова:

english

Сторінки:

DOI:

10.1007/bf01178578

Файл:

PDF, 1.73 MB

english, 1993

Виконується конвертація в

Конвертація в не вдалась