scientific article; zbMATH DE number 1361483
From MaRDI portal
Publication:4699301
zbMath0941.68067MaRDI QIDQ4699301
Jaco van de Pol, W. J. Fokkink
Publication date: 10 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Compiling a Functional Logic Language: The Fair Scheme, Cones and foci: A mechanical framework for protocol verification, Unnamed Item, Remarks on Thatte's transformation of term rewriting systems, Compiling Collapsing Rules in Certain Constructor Systems, Just-in-time