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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(91)90009-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1970861542
@@ Property / OpenAlex ID: W1970861542 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1182164