scientific article; zbMATH DE number 1231530

MaRDI QIDQ4222845zbMATH OpenFDO

Authors 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

zbMATH Keywords

Forumlogic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 1070626
• scientific article; zbMATH DE number 1104361

Cited in

(5)

• Efficient resource management for linear logic proof search
• Proof-search in type-theoretic languages: An introduction
• scientific article; zbMATH DE number 1497841 (Why is no real title available?)
• Proofs as computations in linear logic
• Forum: A multiple-conclusion specification logic

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 Q4222845)