1
by Voronkov, Andrei
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...Disjunctive deductive databases -- Netlog — A concept oriented logic programming language -- From...

3
Published 1993
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Higher-Order Semantic Path Ordering -- Knowledge-Based Systems -- The Elog Web Extraction Language...

5
by Ganzinger, Harald
Published 1999
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

6
Published 2002
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

7
Published 2016
Springer International Publishing
Table of Contents: ... Transducers -- Relaxed Parsing of Regular Approximations of String-Embedded Languages -- Branching Processes...

8
by Nieuwenhuis, Robert
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games...

10
Published 2005
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

11
Published 2006
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

12
by Vardi, Moshe
Published 2003
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

13
Published 2003
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Language for Cryptographic Pseudocode -- Reasoning UsingKnots -- Session 7. Knowledge Representation 2...

15
Published 2007
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

16
Published 1999
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

17
by Baaz, Matthias
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

18
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...A logical-based language for feature specification and transmission control -- Program...

19
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- An Extensible Proof Text Editor -- A Tactic Language for the System Coq -- Theorem proving -- Proof...

20
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Combining Equational Tree Automata over AC and ACI Theories -- Closure of Hedge-Automata Languages by Hedge...