scientific article; zbMATH DE number 1761897

zbMATH Open0988.68512MaRDI QIDQ4537516FDOQ4537516

Authors: Massimo Marchiori 

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

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)