Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Disambiguation -- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming...”
Cover Image
Read Now

2
by Palamidessi, Catuscia
Published 2003
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

4
by Palamidessi, Catuscia
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Engineering...”
Cover Image
Read Now

6
Published 2014
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2014
Springer International Publishing
Table of Contents: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
Cover Image
Read Now

8
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Logic programming and model checking -- CAT: The Copying Approach to Tabling -- SICStus MT—A...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open...”
Cover Image
Read Now

10
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Systems -- A Multiparty Multi-session Logic -- LTS Semantics for Compensation-Based Processes -- Linking...”
Cover Image
Read Now

11
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Semantic Service Discovery in a Ubiquitous Environment -- Safe Reasoning with Logic LTS -- Partial Order...”