Relational and Algebraic Methods in Computer Science. RAMiCS 2023

Book title Buchtitel
Relational and Algebraic Methods in Computer Science. RAMiCS 2023
 
ISBN
978-3-031-28083-2
 
 
Publisher Herausgeber
Springer
 
DOI
10.1007/978-3-031-28083-2
 
Volume Band
13896
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023