scientific article; zbMATH DE number 2006634

zbMATH Open1024.68013MaRDI QIDQ4436030FDOQ4436030

Authors: Birgit Elbl 

Publication date: 23 November 2003

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

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

Recommendations

• scientific article; zbMATH DE number 978237
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• Computer Science Logic
• Metalogical control for logic programs
• scientific article; zbMATH DE number 4058910

zbMATH Keywords

controlsubstructural logiclogic programming

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17)

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