Logic programming with multiplicative structures

DOI10.4204/EPTCS.408.3MaRDI QIDQ6934058zbMATH OpenFDO

Authors Matteo Acclavio, Roberto Maieli

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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

This page was built for publication: Logic programming with multiplicative structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934058)