skip to main content
Lingue:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Affine systems of equations and counting infinitary logic

Atserias, Albert ; Bulatov, Andrei ; Dawar, Anuj

Theoretical Computer Science, 2009, Vol.410(18), pp.1666-1683 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinctness as a source of complexity in logical formalisms

Gottlob, Georg ; Leone, Nicola ; Veith, Helmut

Annals of Pure and Applied Logic, 1999, Vol.97(1), pp.231-260 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Ricerca in corso nelle risorse remote ...