Search alternatives:
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
languages » language
automata » automated
Cover Image
Read Now

21
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language...”
Cover Image
Read Now

22
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering...”
Cover Image
Read Now

23
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Proofs in Category Theory -- Formal Global Optimisation with Taylor Models -- A Purely Functional Library...”
Cover Image
Read Now

24
by Williams, James G.
Published 1991
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

25
Published 2016
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

26
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

27
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... in the ImperativeProgramming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving...”
Cover Image
Read Now

28
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... theory -- Simplifying interpreted formulas -- Specification and verification of real-time, distributed...”
Cover Image
Read Now

29
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... -- Cancellation, pumping and permutation in formal languages -- A hardware implementation of the CSP primitives...”
Cover Image
Read Now

30
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Type Theory -- The Nuprl Open Logical Environment -- System Description: aRa – An Automatic Theorem...”
Cover Image
Read Now

31
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Proving in Intuitionistic First-Order Logic -- Automatic ‘Descente Infinie’ Induction Reasoning -- A...”
Cover Image
Read Now

32
Published 1974
Springer Berlin Heidelberg
Table of Contents: “... language theory -- Checking stacks and context-free programmed grammars accept p-complete languages...”
Cover Image
Read Now

33
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal...”
Cover Image
Read Now

34
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... theory -- The limit of splitn-language equivalence -- Divergence and fair testing -- Causality for mobile...”
Cover Image
Read Now

35
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving -- System...”
Cover Image
Read Now

36
Published 2021
Springer International Publishing
Table of Contents: “... Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory...”
Cover Image
Read Now

37
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Session 1. Invited Talk: Colin Stirling -- Games, Automata and Matching -- Session 2. Higher-Order...”
Cover Image
Read Now

38
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Certifying a Tree Automata Completion Checker -- Automated Induction with Constrained Tree Automata...”
Cover Image
Read Now

39
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification...”
Cover Image
Read Now

40
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code...”