Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Serie
Codice:
E136127
ISSN:
1043-6871
Dati Generali
Dati Generali
Pubblicazioni
Dynamic logic of propositional assignments: a well-behaved variant of PDL
Contributo in Atti di convegno
No Results Found
