scientific article; zbMATH DE number 1231698

zbMath0917.68199MaRDI QIDQ4223029

Didier Galmiche, Bruno Martin

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#17005

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

zbMATH Keywords

proof nets

Mathematics Subject Classification ID

Related Items

Unnamed Item, Connection methods in linear logic and proof nets construction, Proof-search in type-theoretic languages: An introduction