Back to the list of the institutes
Publications
Journal: Symposium on Logic in Computer Science
Number of publications: 12021
- Michael Blondin, Tim Leys, Philip Offtermatt, Guillermo A., Filip Mazowiecki , Continuous One-Counter Automata, Symposium on Logic in Computer Science, 2021, p. 1--13. See in PBN