Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Huth, Michael - Department of Computing and Information Sciences, Kansas State University
three-valued Information
Information Jagadeesan,
Domains of view: a foundation for speci cation and analysis
Abstraction and refinement for model checking inconsistent systems
A constraintbased validity solver for intuitionistic propositional logic (AML submission)
The interval domain as a semantic foundation for reasoning about uncertainty or vagueness
Aspect-driven Property Veri cation of Inconsistent System Descriptions
Abstraction inconsistent
Logic in Computer Science: toolbased modeling and reasoning about systems
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition
Bicontinuous Function Spaces Reinhold Heckmann, Michael Huth
Modal transition systems: a foundation for three-valued program analysis
An AbstractionBased Analysis of Rule Systems for Active Database Management Systems
