libcats.org
Главная

Computer Science Logic, 6 conf., CSL '92

Обложка книги Computer Science Logic, 6 conf., CSL '92

Computer Science Logic, 6 conf., CSL '92

, , , ,
This 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.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Секс в жизни женщины

Автор: , Автор:
Размер книги: 9.81 Mb

Разум лечит тело

Автор:
Категория: Здоровье
Размер книги: 331 Kb

Java Swing

Автор: , Автор: , Автор:
Категория: Computer science
Размер книги: 6.78 Mb

The Developing World of the Child

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.43 Mb

Management: Tasks, Responsibilities, Practices

Автор:
Размер книги: 2.30 Mb

Lessek's Key

Автор: , Автор:
Категория: fiction
Размер книги: 1.78 Mb

A Wife Worth Keeping

Автор:
Категория: fiction
Размер книги: 590 Kb