skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

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

Vedi tutte le versioni
Citazioni Citato da

Ricerca in corso nelle risorse remote ...