BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Instantiation overflow

Participants in the publication
Bruno Dinis (Author)
Dep. Matemática
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Gilda Ferreira (Author)
LASIGE - LASIGE
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Date of Publication
2016

Where published
Reports on Mathematical Logic

Publication Identifiers

Document Identifiers
DOI - https://doi.org/10.4467/20842589RM.16.002.5279


Export

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, }