Search alternatives:
proving finite » proving definite, proving infinite, moving finite
Cover Image
Read Now

61
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics...”
Cover Image
Read Now

62
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving...”
Cover Image
Read Now

63
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... approach to specify and to prove properties of finite state concurrent systems -- A comparison...”
Cover Image
Read Now

64
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... andUnification -- A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property --...”
Cover Image
Read Now

65
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... finite fields -- Processes of place/transition-nets -- A hardware semantics based on temporal intervals...”
Cover Image
Read Now

66
by Allahviranloo, Tofigh
Published 2020
Academic Press
“.... The book can be used by engineering students in control and finite element fields, as well as all...”
Cover Image
Read Now

67
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... we get from computer algebra -- Automatic generation of epsilon-delta proofs of continuity -- Finite...”
Cover Image
Read Now

68
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... theorem proving, with application to Newton's Principia -- Proving geometric theorems using clifford...”
Cover Image
Read Now

69
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of systems of polynomirl equations using Groebher bases -- How to decide whether a polynomial ideal...”
Cover Image
Read Now

70
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “... Invariants -- 2.5 Completeness -- 2.6 Finite-State Algorithmic Verification -- Problems -- Bibliographic...”
Cover Image
Read Now

71
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... primality proving — Recent developments -- Primality proving using elliptic curves: An update -- Bounding...”
Cover Image
Read Now

72
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification...”
Cover Image
Read Now

73
by Kropf, Thomas
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...1 Introduction -- 2 Boolean Functions -- 3 Approaches Based on Finite State Machines -- 4...”
Cover Image
Read Now

74
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Session 1 -- Proofs About Lists Using Ellipsis -- Session 2 -- On the Complexity of Counting...”
Cover Image
Read Now

75
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... algorithm for a subclass -- The VC-dimensions of finite automata with n states -- Unifying learning methods...”
Cover Image
Read Now

76
Published 2001
Birkhäuser
Table of Contents: “... Variety -- On Elements of High Order in Finite Fields -- Counting the Number of Points on Affine Diagonal...”
Cover Image
Read Now

77
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”
Cover Image
Read Now

78
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Using Reusability and Compositionality -- On Proving Safety Properties by Integrating Static Analysis...”
Cover Image
Read Now

79
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Applications of Finite Duality to Locally Finite Varieties of BL-Algebras -- Completeness Results...”
Cover Image
Read Now

80
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... orders for resolution -- Hybrid interactive theorem proving using nuprl and HOL -- Proof tactics for a...”