On finite alphabets and infinite bases (Q924717): Difference between revisions

@@ Property / author @@
-W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
-Normal rank
@@ Property / author @@
+W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
+Normal rank
@@ 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/j.ic.2007.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2133267148
@@ Property / OpenAlex ID: W2133267148 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested semantics over finite trees are equationally hard
+Normal rank
@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+A Finite Equational Base for CCS with Left Merge and Communication Merge
+Normal rank
@@ Property / cites work @@
+Q4449168
@@ Property / cites work: Q4449168 / rank @@
+Normal rank
@@ Property / cites work @@
+On Finite Alphabets and Infinite Bases III: Simulation
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q2754192
@@ Property / cites work: Q2754192 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational theory of positive numbers with exponentiation is not finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+Partial evaluation and \(\omega\)-completeness of algebraic specifications
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
+Normal rank
@@ Property / cites work @@
+Identities in Two-Valued Calculi
@@ Property / cites work: Identities in Two-Valued Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
@@ Property / cites work: TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534915
@@ Property / cites work: Q5534915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050481
@@ Property / cites work: Q3050481 / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus is ω-incomplete
@@ Property / cites work: The λ-calculus is ω-incomplete / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:924717