test_moissonnage_selune
type: Agent

Undecidability of Multiplicative Subexponential Logic
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsconferenceobject
keyword: acm-f-theory-of-computationf4-mathematical-logic-and-formal-languagesf41-mathematical-logi
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: conference-papers
landing page: Proceedings of the Third International Workshop on Linearity
description: International audience
issued: 2026-05-05T09:52:45.263383
language: en
modified: 2026-05-05T09:52:45.263387

Undecidability of Multiplicative Subexponential Logic
type: Distribution
access URL: https://inria.hal.science/hal-00998753
format: HTML
issued: 2026-05-05T09:52:45.265092
modified: 2026-05-05T09:52:45.257737