48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

Book title Buchtitel
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
 
ISBN
978-3-95977-292-1
 
 
Publisher Herausgeber
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
 
Series Schriftenreihe
Leibniz International Proceedings in Informatics
 
Volume Band
72
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
2Brand-2023-Deterministic Constrained Multilinear Detection-vor.pdf.jpgBrand, Cornelius ; Korchemna, Viktoria ; Skotnica, Michael Deterministic Constrained Multilinear DetectionInproceedings Konferenzbeitrag 21-Aug-2023