2766 search results - page 188 / 554 » Hybridizing a Logical Framework |
139
Voted
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
—Large-scale applications are characterized by a large number of dynamic and often interactive group members. The nature of these applications is such that participants are not i...
127
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
159
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
148
click to vote
JANCL
2006
15 years 4 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
107
click to vote
JANCL
2006
15 years 4 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...