Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings - Brossura

Brossura

ISBN 10: 3662189194 ISBN 13: 9783662189191

Casa editrice: Springer, 2014

Riassunto

Observational logic and process semantics (abstract).- A logic for data description.- Building theories in Nuprl.- A remark on bisimulation between probabilistic processes.- Inevitability in branching time.- Concurrent processes with synchronization: Net and algebraic approach.- A synthesis of two approaches for verifying finite state concurrent systems.- On a class of unoids.- Space considerations in Prolog.- Nearly linear time.- Experiments with implementations of two theoretical constructions.- A dynamic logic for program verification.- Discerning causality in interleaving behavior.- The use of static constructs in a model process logic.- What is the logic of computational tasks?.- Algol-like languages with higher-order procedures and their expressive power.- Fixpoints revisited.- A mathematical modeling of pure, recursive algorithms.- A category of many-sorted algebraic theories which is equivalent to the category of categories with finite products.- Gentzen style systems for K45 and K45D.- Modal logics for knowledge representation systems.- Safe executions of recognizable trace languages by asynchronous automata.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 3662189194
• ISBN 13: 9783662189191
• Rilegatura: Paperback
• Lingua: Inglese
• Contatto del produttore: non disponibile