Liknande böcker

Logic for applications
Bok av Anil Nerode
The Logic of Partial Information
Bok av Areski Nait Abdallah
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Bok av Dov M. Gabbay
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Bok av Peter B Andrews
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Bok av C Anthony Andersen
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Logic and information flow / edited by Jan van Eijck and Albert Visser
Bok av Jan Van Eijck
Logic and Information Flow
Bok

Logic for Concurrency and Synchronisation

Bok av R J De Queiroz
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.