Simplified handling of iterated term schemata (Q616760): 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.1007/s10472-010-9200-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2013691422
@@ Property / OpenAlex ID: W2013691422 / rank @@
+Normal rank
@@ Property / cites work @@
+A Schemata Calculus for Propositional Logic
@@ Property / cites work: A Schemata Calculus for Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect Discrimination Graphs: Indexing Terms with Integer Exponents
+Normal rank
@@ Property / cites work @@
+On unification of terms with integer exponents
@@ Property / cites work: On unification of terms with integer exponents / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of infinite sets of terms schematized by primal grammars
+Normal rank
@@ Property / cites work @@
+The first order theory of primal grammars is decidable
+Normal rank
@@ Property / cites work @@
+Q4255518
@@ Property / cites work: Q4255518 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:616760