Rewrite-based Equational Theorem Proving with Selection and Simplification (Q4304492): Difference between revisions

@@ Property / DOI @@
-.1093/logcom/4.3.217
@@ Property / DOI: 10.1093/logcom/4.3.217 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2037085273
@@ Property / OpenAlex ID: W2037085273 / rank @@
+Normal rank
@@ Property / DOI @@
+.1093/LOGCOM/4.3.217
@@ Property / DOI: 10.1093/LOGCOM/4.3.217 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4304492