Computer Science Logic, 16 conf., CSL 2002

Computer Science Logic, 16 conf., CSL 2002
Год
 
Страниц
 
629
ISBN
 
ISBN10:3540442405
Издатель
 
Springer

Описание:

This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002. The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs.

Похожие книги

Logics of time and computationLogics of time and computation
Автор: Robert Goldblatt
Год: 1992
Theoretical Aspects of Computing - ICTAC 2005, 2 confTheoretical Aspects of Computing - ICTAC 2005, 2 conf
Год: 2005
Logics of time and computationLogics of time and computation
Автор: Robert Goldblatt
Год: 1992
Logics for Concurrency - Structure versus Automata, 8 confLogics for Concurrency - Structure versus Automata, 8 conf
Год: 1996
Goal-Directed Proof TheoryGoal-Directed Proof Theory
Автор: Gabbay D., Olivetti N.
Год: 2000
Substructural Logics: A PrimerSubstructural Logics: A Primer
Автор: Paoli F.
Год: 2002