Journal of Logic and Computation

Journal Article

Luís Pinto

Tarmo Uustalu

Publication

Year of publication: 2018

Volume: 28

Issue: 1

Pages: 165--202

Identifiers

ISSN: 0955-792X

Locators

DOI: 10.1093/logcom/exx044

Alternative Titles