scientific article; zbMATH DE number 1523048

From MaRDI portal

Publication:4511323

Jump to:navigation, search

zbMath0961.68068MaRDI QIDQ4511323

Stefano Guerrini

Publication date: 30 October 2000

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

zbMATH Keywords

rewriting system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (2)

Coherence for sharing proof nets ⋮ Coherence for sharing proof-nets

This page was built for publication:

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