Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of infinite sets of terms and its applications -- Unification in order-sorted type theory -- Infinite...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... and resolution as decision procedure -- Static analysis of Prolog with cut -- A new type theory for representing...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Formulae -- Permutation Problems and ChannellingConstraints -- Simplifying Binary Propositional Theories...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Description Logics and Semantic Web -- Reasoning with Expressive Description Logics: Theory...”
Cover Image
Read Now

5
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... for Intersection-Based Satisfiability -- Theory Instantiation -- Splitting on Demand in SAT Modulo Theories...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... with Linear Integer Arithmetic -- Encoding Queues in Satisfiability Modulo Theories Based Bounded Model...”
Cover Image
Read Now

7
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... with Extra Variables into Unconditional Systems -- Cancellative Superposition Decides the Theory of Divisible...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... String Rewriting Systems and Their Confluence -- Polite Theories Revisited -- Clausal Graph Tableaux...”
Cover Image
Read Now

9
Published 2010
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”