34th International Conference on Concurrency Theory (CONCUR 2023)

Book title Buchtitel
34th International Conference on Concurrency Theory (CONCUR 2023)
 
ISBN
978-3-95977-299-0
 
Publisher Herausgeber
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
 
Volume Band
279
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Iosif-2023-Expressiveness Results for an Inductive Logic of Separated Rel...-vor.pdf.jpgIosif, Radu ; Zuleger, Florian Expressiveness Results for an Inductive Logic of Separated RelationsInproceedings Konferenzbeitrag 2023
2Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Hypernode AutomataInproceedings Konferenzbeitrag 7-Sep-2023