NNIL-formulas revisited: universal models and finite model property

Julia Ilin, Dick de Jongh, Fan Yang

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Originalspråkengelska
Artikelnummerexaa063
TidskriftJournal of Logic and Computation
Volym31
Utgåva2
Sidor (från-till)573–596
Antal sidor24
ISSN0955-792X
DOI
StatusPublicerad - mar 2021
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här