Dataset - CKAN

Connection proof search methods in Linear Logic and proof nets construction

Article dans revue scientifique avec comité de lecture.
- HTML
Connection-based proof construction in Non-Commutative Logic

Colloque avec actes et comité de lecture. internationale.
- HTML

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