Linear Logical Algorithms

DOI10.1007/978-3-540-70583-3_28zbMath1155.68349OpenAlexW1502855507WikidataQ58158306 ScholiaQ58158306MaRDI QIDQ3519512

Robert J. Simmons, Frank Pfenning

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_28

zbMATH Keywords

linear logicdeductive databasesforward reasoningcost semanticsabstract running timebottom-up logic programming

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Logical approximation for program analysis ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A complete and terminating execution model for Constraint Handling Rules

Uses Software

• Datalog

This page was built for publication: Linear Logical Algorithms