Constraints in computational logics
A Methodological View of Constraint Solving
Constraints
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
A Tableau Calculus for Combining Non-disjoint Theories
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Combining Decision Procedures for Positive Theories Sharing Constructors
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Combining word problems through rewriting in categories with products
Theoretical Computer Science - Category theory and computer science
Information and Computation - Special issue: Combining logical systems
Connecting many-sorted structures and theories through adjoint functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Connecting many-sorted theories
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |