skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Filtrati per: Argomento: Linear Order rimuovi Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Two-variable Logic with Counting and a Linear Order
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Two-variable Logic with Counting and a Linear Order

Charatonik, Witold ; Witkowski, Piotr ; Grädel, Erich

Logical methods in computer science, 2016-06-23, Vol.12 (2) [Rivista Peer Reviewed]

Fulltext disponibile

2
Decision methods for linearly ordered Heyting algebras
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Decision methods for linearly ordered Heyting algebras

Dyckhoff, Roy ; Negri, Sara

Archive for Mathematical Logic, 2006-05, Vol.45 (4), p.411-422 [Rivista Peer Reviewed]

Fulltext disponibile

Ricerca in corso nelle risorse remote ...