scientific article; zbMATH DE number 1231530

zbMath0909.68035MaRDI QIDQ4222845

Joshua S. Hodas, Jeffrey Polakow

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#hodas

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

zbMATH Keywords

logic programming languageForum

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Unnamed Item ⋮ Proofs as computations in linear logic ⋮ Efficient resource management for linear logic proof search ⋮ Proof-search in type-theoretic languages: An introduction

This page was built for publication: