Equality-based binary resolution
Journal of the ACM (JACM)
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Domain modeling—overview & ongoing research at EDS
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Journal of Automated Reasoning
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Adaptive Predicate Managers in Database Systems
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Deriving Focused Calculi for Transitive Relations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Semantic forgetting in answer set programming
Artificial Intelligence
Negative hyper-resolution for proving statements containing transitive relations
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Using examples to generate instantiations of set variables
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Complete inference rules for the cancellation laws
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Hierarchical reasoning about inequalities
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hierarchical reasoning about inequalities
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |