1 Risultati per Ricerca globale
Ordinati per:
Ordinati per:
rilevanzaOr hit Enter to replace sort method
- rilevanza
- data più recente
- autore
- titolo
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Articolo
|
|
Model-checking problems as a basis for parameterized intractabilityFlum, Jörg ; Grohe, Martin ; Libkin, LeonidLogical methods in computer science, 2005-03-07, Vol.1 (1) [Rivista Peer Reviewed]Fulltext disponibile |
