Dataset - CKAN

From ordered monoids to quantales and Petri nets: completeness results revisi...

Colloque avec actes et comité de lecture.
- HTML
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri...

Article dans revue scientifique avec comité de lecture.
- HTML
Quantales as completions of ordered monoids: revised semantics for Intuitioni...

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

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