Publication:4772711
From MaRDI portal
zbMath0285.68022MaRDI QIDQ4772711
Bruno Courcelle, Jean E. Vuillemin, G. Kahn
Publication date: 1974
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68N01: General topics in the theory of software
Related Items
Infinite normal forms for non-linear term rewriting systems, Deciding observational congruence of finite-state CCS expressions by rewriting, Type inference with recursive types: Syntax and semantics, The insensitivity theorem for nonreducing reflexive types, Fundamental properties of infinite trees, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Varieties of chain-complete algebras, Completeness results for the equivalence of recursive schemas, On schematological equivalence of partially interpreted dataflow networks, The equational logic of fixed points, On the logic of unification, Unnamed Item