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: Martin Fischer, Carlo Nicolai, Leon Horsten
Journal title: Journal of Logic and Computation
Journal publisher: Oxford University Press
Published year: 2017
ISSN: 0955-792X
Search
Associated projects
Organisations
- Not specified