Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nonnengart, Andreas - Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
A Fixpoint Approach to SecondOrder Quantifier Elimination with Applications to Correspondence
Expressing Realtime Properties in VSE Andreas Nonnengart Georg Rock Werner Stephan
I N F O R M A T I K A Deductive Model Checking
ELIMINATION OF PREDICATE QUANTIFIERS ANDREAS NONNENGART
On Generating Small Clause Normal Forms Andreas Nonnengart 1 , Georg Rock 2 , and Christoph Weidenbach 1
Strong Skolemization Andreas Nonnengart \Lambda
Computing Small Clause Normal Forms Andreas Nonnengart
Expressing Realtime Properties in VSE-II Werner Stephan Andreas Nonnengart Georg Rock
Hybrid Systems Veri cation by Location Elimination
Auxiliary Modal Operators and the Characterization of Modal
Using Hybrid Automata to Express Realtime Properties in VSEII
A Fixpoint Approach to Second-Order Quantifier Elimination with
A Resolution--Based Calculus For
A History-based Verification of Distributed Applications
Encoding Two-Valued Nonclassical Logics in Classical Logic
MAX-PLANCK-INSTITUT FU"R
Strong Skolemization Andreas Nonnengart
Hybrid Systems Verification by Location Elimination
