A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
Journal of Automated Reasoning
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Reasoning, Action and Interaction in AI Theories and Systems
| Hi-index | 0.00 |