scientific article; zbMATH DE number 1231702

zbMath0917.68042MaRDI QIDQ4223033

David J. Pym

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

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

zbMATH Keywords

logic of bunched implications

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Proof-search in type-theoretic languages: An introduction

This page was built for publication: