Decidability of Several Concepts of Finiteness for Simple Types

Fundamenta Informaticae

Journal Article

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

Publication

Year of publication: 2019

Volume: 170

Issue: 1-3

Pages: 111--138

Identifiers

ISSN: 1875-8681

Other: 2-s2.0-85074367373

Locators

Alternative Titles