GandALF 2023: Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

Event name
GandALF 2023: Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
 
Event type
Event for scientific audience
 
Start date
18-09-2023
End date
20-09-2023
 
Location
Udine
Country
Italy
 
Conference Track
Single Track
Organizing institution Veranstaltende Institution
University of Udine
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van Ditmarsch-2023-On Two- and Three-valued Semantics for Impure Simplici...-vor.pdf.jpgvan Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo On Two- and Three-valued Semantics for Impure Simplicial ComplexesInproceedings Konferenzbeitrag 30-Sep-2023