scientific article

From MaRDI portal

Publication:3819984

Jump to:navigation, search

zbMath0667.68033MaRDI QIDQ3819984

Alfons Geser, Andreas Mück, Heinrich Hussmann

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic specifications recursive function speedup compiler interpreter PASCAL conditional term rewriting systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items (3)

Normalization by leftmost innermost rewriting ⋮ Fast Knuth-Bendix completion with a term rewriting system compiler ⋮ A decade of TAPSOFT

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3819984&oldid=17405140"