8 search results - page 1 / 2 » Mathematical Synthesis of Equational Deduction Systems |
103
Voted
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
116
Voted
ICFP
2003
ACM
16 years 9 days ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
129
Voted
ACS
2002
15 years 6 days ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
118
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
136
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...