Resource Models and Proofs in Bunched Implications Logic
type: Dataset
description: Colloque sur invitation. internationale.
landing page: First APPSEM-II Workshop 2003 - (Applied Semantics II)
keyword: bunched-implications-logic
keyword: conference-papers
keyword: contre-modeles
keyword: countermodels
keyword: decidabilite
keyword: decidability
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: logique-bi
keyword: resources
keyword: ressources
keyword: semantics
keyword: semantique
issued: 2026-05-05T10:24:22.809757
modified: 2026-05-05T10:24:22.809764
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Resource Models and Proofs in Bunched Implications Logic
type: Distribution
format: HTML
access URL: https://inria.hal.science/inria-00099552
issued: 2026-05-05T10:24:22.811969
modified: 2026-05-05T10:24:22.794325