|
|
libcats.org
Computer Science Logic, 6 conf., CSL '92Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. RichterThis volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Кавказская война. Том 1. От древнейших времен до ЕрмоловаАвтор: Потто Василий АлександровичКатегория: История
Размер книги: 2.30 Mb
Кирилло-Мефодиевские переводы у южных и восточных славянАвтор: Логачев К. И.
Размер книги: 32.14 Mb
Научно-методическое обоснование и обеспечение педагогической практики студентов педагогического факультета: Методическое пособиеАвтор: Гребенюк Т.Б.Категория: Народное образование. Педагогика
Размер книги: 513 Kb
Lingua LatinaАвтор: Мирошенкова В.И, Автор: Фёдоров Н.А.Категория: КНИГИ ГУМАНИТАРНЫЕ НАУКИ
Размер книги: 5.65 Mb
Big Ideas for Small Mathematicians: Kids Discovering the Beauty of Math with 22 Ready-to-Go ActivitiesАвтор: Ann KajanderКатегория: Mathematics, Children
Размер книги: 2.89 Mb
Основы филиграноведения: история, теория, практикаАвтор: Богданов А.П.Категория: науки о человеке и обществе
Размер книги: 3.78 Mb
Diagnóstico Microbiológico 6ta Ed.Автор: Washington C. Winn, Автор: Stephen D. Allen, Автор: William M. Janda, Автор: Elmer W. Koneman, Автор: Gary W. Procop, Автор: Paul C. Schrenckenberger and Gail L. WoodsКатегория: Microbiología, Virología y Parasitología
Размер книги: 149.66 Mb
|
|
|