scientific article; zbMATH DE number 2006634

MaRDI QIDQ4436030zbMATH OpenFDO

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

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)

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

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)