Multiplicative exponential proof structures and logic programming
type: Dataset
description: submitted (March 2006)
issued: 2026-05-10T03:54:12.434957
language: en
modified: 2026-05-10T03:54:12.434961
contact point: Organization
  fn: CCSD
keyword: concurrent-execution
keyword: focalization
keyword: infoeu-reposemanticsother
keyword: linear-logic
keyword: logic-programming
keyword: mathmath-lomathematics-mathlogic-mathlo
keyword: other-publications
keyword: proof-nets
landing page: https://hal.science/hal-00085017

Multiplicative exponential proof structures and logic programming
type: Distribution
format: HTML
issued: 2026-05-10T03:54:12.436171
modified: 2026-05-10T03:54:12.425266
access URL: https://hal.science/hal-00085017

test_moissonnage_selune
type: Agent