NNIL-formulas revisited: universal models and finite model property

Julia Ilin, Dick de Jongh, Fan Yang

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
Artikkeliexaa063
LehtiJournal of Logic and Computation
Vuosikerta31
Numero2
Sivut573–596
Sivumäärä24
ISSN0955-792X
DOI - pysyväislinkit
TilaJulkaistu - maalisk. 2021
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 111 Matematiikka

Siteeraa tätä