Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
From MaRDI portal
Publication:1391757
DOI10.1007/BFB0055035zbMath0893.00039OpenAlexW2107253221MaRDI QIDQ1391757
No author found.
Publication date: 23 July 1998
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0055035
Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (3)
Aligning concepts across proof assistant libraries ⋮ Learning of event-recording automata ⋮ Bisimulations in the join-calculus
This page was built for publication: Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
