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: Collezione: Alma/SFX Local Collection rimuovi Collezione: arXiv.org rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Model-checking problems as a basis for parameterized intractability
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Model-checking problems as a basis for parameterized intractability

Flum, Jörg ; Grohe, Martin ; Libkin, Leonid

Logical methods in computer science, 2005-03-07, Vol.1 (1) [Rivista Peer Reviewed]

Fulltext disponibile

Ricerca in corso nelle risorse remote ...