scientific article; zbMATH DE number 1950449

zbMath1037.68066MaRDI QIDQ4413064

Takahito Aoto

Publication date: 17 July 2003

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/A2001-11/A2001-11.html

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

zbMATH Keywords

many-sorted term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Automatic synthesis of logical models for order-sorted first-order theories ⋮ Modularity in term rewriting revisited ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way

This page was built for publication: