Articles liés à Logic at Botik '89: Symposium on Logical Foundations...
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
