scientific article; zbMATH DE number 1761897

MaRDI QIDQ4537516zbMATH OpenFDO

Authors Massimo Marchiori

Publication date 1 July 2002

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Cited in

(1)

• Termination of Isabelle functions via termination of rewriting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537516)