scientific article; zbMATH DE number 1354168

zbMath0925.03065MaRDI QIDQ4268483

Hans Leiß

Publication date: 28 October 1999

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (2)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) ⋮ Extending the type checker of Standard ML by polymorphic recursion

This page was built for publication: