Exportar referência
APA
Bruno Dinis, Gilda Ferreira, (2016). Instantiation overflow. Reports on Mathematical Logic,
IEEE
Bruno Dinis, Gilda Ferreira, "Instantiation overflow" in Reports on Mathematical Logic, 2016.
10.4467/20842589RM.16.002.5279
BIBTEX
@article{47914,
author = {Bruno Dinis and Gilda Ferreira},
title = {Instantiation overflow},
journal = {Reports on Mathematical Logic},
year = 2016,
}