Book title Buchtitel
Advances in Model Logic
 
ISBN
978-1-84890-413-2
 
 
Publisher Herausgeber
College Publications
 
Volume Band
14
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ciabattoni, Agata ; Straßburger, Lutz ; Tesi, Matteo ; David Fernández-Duque ; PALMIGIANO, Alessandra ; Pinchinat, Sophie Taming Bounded Depth with Nested SequentsInproceedings Konferenzbeitrag2022