The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164): Difference between revisions

@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+Q3495342
@@ Property / cites work: Q3495342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685660
@@ Property / cites work: Q5685660 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864488
@@ Property / cites work: Q3864488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723321
@@ Property / cites work: Q4723321 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank