Claudio Antares Mezzina
Claudio Antares Mezzina
Affiliation: University of Urbino Carlo Bo
Pages in this Program
A Logical 3-valued Semantics for Non-Deterministic Choice
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑