MPG.eBooks - Search Results - formal languages and ((automata theory) or (automation theory))

1

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... modal substructural logic based on labelled deductive systems -- Consistency checking of automata...”

Read Now

2

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “...-valued logics -- An ordered theory resolution calculus -- Application of automated deduction...”

Read Now

3

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Description Logics and Semantic Web -- Reasoning with Expressive Description Logics: Theory...”

Read Now

4

Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... and Alternating Automata -- Animating TLA Specifications -- Session 4 -- Transforming Conditional Rewrite Systems...”

Read Now

5

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “...Nonmononic reasoning -- On the Complexity of Theory Curbing -- Descriptive complexity -- Graph...”

Read Now

6

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Constraints -- First-Order Atom Definitions Extended -- Automated Proof Support for Interval Logics...”

Read Now

7

Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,...

Published 2016

Springer International Publishing

Table of Contents: “... Analysis of Sessions using the Calculus of Structures -- Using Refinement in Formal Development of OS...”

Read Now

8

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Recursive Path Orderings Can Also Be Incremental -- Automating Coherent Logic -- The Theorema Environment...”

Read Now

9

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...The Equational Theory of ??, 0, 1,?+?, ×, ?? Is Decidable, but Not Finitely Axiomatisable -- A...”

Read Now

10

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- HORPO with Computability Closure: A Reconstruction -- Zenon: An Extensible Automated Theorem Prover...”

Read Now

11

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... -- On Locally Checkable Properties -- Deciding Key Cycles for Security Protocols -- Automating Verification...”

Read Now

12

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... by Complementation (Extended Abstract) -- Discounted Properties of Probabilistic Pushdown Automata -- Session 5...”

Read Now

13

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... -- A constructive logic approach to database theory -- Abstract syntax and logic programming...”

Read Now

14

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

15

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

16

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... Description: E 1.8 -- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light --...”

Read Now

17

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

18

Programming Logics : Essays in Memory of Harald Ganzinger

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... of Bioregulatory Networks -- Canonical Ground Horn Theories -- Generic Functional Representation of Sorted Trees...”

Narrow Search