Dataset - CKAN

Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic...

Colloque avec actes et comité de lecture.
- HTML
STRIP: Structural sharing and intuitionistic proof-search

Rapport interne.
- HTML
Resource Models and Proofs in Bunched Implications Logic

Colloque sur invitation. internationale.
- HTML
Combining proof-search and linear counter-model construction

Colloque sur invitation. internationale.
- HTML

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