Projection: A unification procedure for tableaux in Conceptual Graphs (Q4610329): Difference between revisions

@@ Property / cites work @@
+Q3996678
@@ Property / cites work: Q3996678 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Projection: A unification procedure for tableaux in Conceptual Graphs
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Direct deductive computation on discourse representation structures
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3321495
@@ Property / cites work: Q3321495 / 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