Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
Journal title: Mathematical Structures in Computer Science
Journal publisher: Cambridge University Press
Published year: 2024
DOI identifier: 10.1017/S0960129524000033
ISSN: 1469-8072
Search
Associated projects
Organisations
- Not specified