scientific article; zbMATH DE number 1948161

zbMATH Open1020.68020MaRDI QIDQ4411822

Pablo Lòpez, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710167.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Title not available (Why is that?) ⋮ Proof tactics for assertions in separation logic ⋮ Reductive logic, proof-search, and coalgebra: a perspective from resource semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411822)