Dataset - CKAN

Resource Models and Proofs in Bunched Implications Logic

Colloque sur invitation. internationale.
- HTML
Semantic Labelled Tableaux for propositional BI (without bottom)

Article dans revue scientifique avec comité de lecture. internationale.
- HTML

You can also access this registry using the API (see API Docs).