Unification in sort theories and its applications (Q1380412): Difference between revisions

@@ Property / cites work @@
+An order-sorted logic for knowledge representation systems
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+Q4264728
@@ Property / cites work: Q4264728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038726
@@ Property / cites work: Q4038726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673105
@@ Property / cites work: Q3673105 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted unification
@@ Property / cites work: Order-sorted unification / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in many-sorted quantor logic
@@ Property / cites work: Investigations in many-sorted quantor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Problem corner: The Lion and the Unicorn
@@ Property / cites work: Problem corner: The Lion and the Unicorn / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4294173
@@ Property / cites work: Q4294173 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Q4013973
@@ Property / cites work: Q4013973 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490936
@@ Property / cites work: Q3490936 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of order-sorted specifications
@@ Property / cites work: Semantics of order-sorted specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860657
@@ Property / cites work: Q4860657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank