![](/img/cover-not-exists.png)
Decidability of Several Concepts of Finiteness for Simple Types
Santo, José EspÃrito, Matthes, Ralph, Pinto, LuÃs, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1857
Date:
October, 2019
File:
PDF, 352 KB
2019