scientific article

From MaRDI portal

Publication:3930625

Jump to:navigation, search

zbMath0475.68011MaRDI QIDQ3930625

Alberto Pettorossi

Publication date: 1981

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

zbMATH Keywords

combinatory logic diagram of matchings strong termination proofs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Discrete mathematics in relation to computer science (68R99) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Termination of rewriting ⋮ Unnamed Item

This page was built for publication:

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