Constraints in computational logics
A Methodological View of Constraint Solving
Constraints
Explicit versus implicit representations of subsets of the Herbrand universe
Theoretical Computer Science
Negation Elimination from Simple Equational Formulae
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
Decision procedures for term algebras with integer constraints
Information and Computation - Special issue: Combining logical systems
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Tree Automata with Global Constraints
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Invariant Checking for Programs with Procedure Calls
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Decision procedures for algebraic data types with abstractions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Classes of tree homomorphisms with decidable preservation of regularity
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Proceedings of the forty-second ACM symposium on Theory of computing
Disunification for ultimately periodic interpretations
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Predicate completion for non-Horn clause sets
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Model representation over finite and infinite signatures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Building a calculus of data structures
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
The decidability of the first-order theory of knuth-bendix order
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
Tree Automata and Automated Model Building
Fundamenta Informaticae
Instantiation Schemes for Nested Theories
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |