Search alternatives:
languages » language
Cover Image
Read Now

41
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... structure in FP2, a functional parallel programming language -- The parallel L-machine for symbolic...”
Cover Image
Read Now

42
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... for scientific computation with exact evaluation of expressions -- Algorithmic methods in automatic programming...”
Cover Image
Read Now

43
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... church-rosser Thue systems -- Two applications of equational theories to database theory -- An experiment...”
Cover Image
Read Now

44
Published 2019
Springer International Publishing
Table of Contents: “... Runtimes for Constant Probability Programs -- Automatic Generation of Logical Models with AGES -- Automata...”
Cover Image
Read Now

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

46
Published 2015
Springer International Publishing
Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
Cover Image
Read Now

47
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic...”
Cover Image
Read Now

48
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Cover Image
Read Now

49
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Nonmononic reasoning -- On the Complexity of Theory Curbing -- Descriptive complexity -- Graph...”
Cover Image
Read Now

50
Published 2019
Springer International Publishing
Table of Contents: “... and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ...”
Cover Image
Read Now

51
Published 1995
Springer Vienna
Table of Contents: “... in neural networks theory -- References -- On a general notion of a hull -- 1 Introduction -- 2 Basic...”
Cover Image
Read Now

52
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning...”
Cover Image
Read Now

53
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Characterization of Khabbaz Geometric Hierarchy of Languages -- On the Maximum Coefficients of Rational Formal...”
Cover Image
Read Now

54
Published 2021
Springer International Publishing
Table of Contents: “... for Weakly Acyclic Automata -- Lyndon words formalized in Isabelle/HOL -- The Range of State Complexities...”
Cover Image
Read Now

55
by Schumann, Johann M.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Formal Methods in Software Engineering -- 3. Processing of Logic -- 4...”
Cover Image
Read Now

56
by Goronzy, Silke
Published 2002
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

57
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented...”
Cover Image
Read Now

58
by Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning...”
Cover Image
Read Now

59
Published 2017
Springer International Publishing
Table of Contents: “...Language and information extraction -- Post-processing and applications of automatic transcriptions...”
Cover Image
Read Now

60
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of a Structural N-gram Language Model in Generation-Heavy Hybrid Machine Translation -- On Referring...”