A double arity hierarchy theorem for transitive closure logic

Grohe Martin, Lauri Hella

Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

5 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
Sivut157-171
JulkaisuArchive for Mathematical Logic
Vuosikerta35
TilaJulkaistu - 1996
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Siteeraa tätä