scientific article; zbMATH DE number 1761894
From MaRDI portal
zbMath0988.68554MaRDI QIDQ4537513
Publication date: 1 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Level-confluence of conditional rewrite systems with extra variables in right-hand sides, Sequentiality, monadic second-order logic and tree automata., Relative normalization in Deterministic Residual Structures
