Category-sorted algebra-based action semantics (Q2638792): Difference between revisions

@@ Property / cites work @@
+Q3992424
@@ Property / cites work: Q3992424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659173
@@ Property / cites work: Q3659173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332227
@@ Property / cites work: Q3332227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066567
@@ Property / cites work: Q4066567 / rank @@
+Normal rank
@@ Property / cites work @@
+Unified Algebras and action semantics
@@ Property / cites work: Unified Algebras and action semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719794
@@ Property / cites work: Q3719794 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3899535
@@ Property / cites work: Q3899535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204026
@@ Property / cites work: Q3204026 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable semantic descriptions
@@ Property / cites work: Executable semantic descriptions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787439
@@ Property / cites work: Q3787439 / rank @@
+Normal rank