scientific article; zbMATH DE number 1231695

zbMath0917.68111MaRDI QIDQ4223026

Giorgio Delzanno

Publication date: 10 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17002

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

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Proofs as computations in linear logic

This page was built for publication: