9 Risultati per Ricerca globale
Ordinati per:
Ordinati per:
titoloOr hit Enter to replace sort method
- rilevanza
- data più recente
- autore
- titolo
Mostra solo
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Articolo
|
|
Enhancing fixed point logic with cardinality quantifiersHella, LJournal of logic and computation, 1998-02-01, Vol.8 (1), p.71-86 [Rivista Peer Reviewed]Fulltext disponibile |
| 2 |
Material Type: Articolo
|
|
Hierarchies in classes of program schemesArratia-Quesada, AJournal of logic and computation, 1999-12-01, Vol.9 (6), p.915-957 [Rivista Peer Reviewed]Fulltext disponibile |
| 3 |
Material Type: Articolo
|
|
Languages represented by Boolean formulasVeith, HelmutInformation processing letters, 1997, Vol.63 (5), p.251-256 [Rivista Peer Reviewed]Fulltext disponibile |
| 4 |
Material Type: Articolo
|
|
Linear Time Computable Problems and Logical DescriptionsSeese, DetlefElectronic notes in theoretical computer science, 1995, Vol.2, p.246-259Fulltext disponibile |
| 5 |
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 |
| 6 |
Material Type: Atti di convegno
|
|
Monadic NP and built-in treesKREIDLER, M ; SEESE, DLecture notes in computer science, 1997, p.260-274 [Rivista Peer Reviewed]Fulltext disponibile |
| 7 |
Material Type: Atti di convegno
|
|
Monadic NP and graph minorsKREIDLER, M ; SEESE, DLecture notes in computer science, 1999, p.126-141 [Rivista Peer Reviewed]Fulltext disponibile |
| 8 |
Material Type: Articolo
|
|
On the expressive power of monadic least fixed point logicSchweikardt, NicoleTheoretical computer science, 2006, Vol.350 (2), p.325-344 [Rivista Peer Reviewed]Fulltext disponibile |
| 9 |
Material Type: Articolo
|
|
Succinctness as a source of complexity in logical formalismsGottlob, Georg ; Leone, Nicola ; Veith, HelmutAnnals of pure and applied logic, 1999, Vol.97 (1), p.231-260 [Rivista Peer Reviewed]Fulltext disponibile |
Personalizza i tuoi risultati
Refine Search Results
Espandi i risultati
Mostra solo
Argomento
- Algorithmics. Computability. Computer Arithmetics
- Applied Sciences
- Computational Complexity
- Computer Science
- Computer Science - Computational Complexity
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Ehrenfeucht-Fraïssé Games
- Exact Sciences And Technology
- Finite Model Theory
- Logic
- Mathematics
- Monadic Second-Order Logic
- Science & Technology
- Science & Technology - Other Topics
- Succinct Problems
- Technology
- Theoretical Computer Science
- Theoretical Computing
-
Altre opzioni
Collezione
- Complete Freedom Collection [SCCMFC]
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Elsevier:ScienceDirect:Open Access
- Freedom Collection Journals [SCFCJ]
- Government Subject Edition - Computer Science [ECCSC]
- ScienceDirect Freedom Collection 2006
- ScienceDirect Freedom Collection 2007
- ScienceDirect Freedom Collection 2008
- ScienceDirect Freedom Collection 2009
- ScienceDirect Freedom Collection 2010
- ScienceDirect Freedom Collection 2011
- ScienceDirect Freedom Collection 2013
- ScienceDirect Freedom Collection 2014
- ScienceDirect Freedom Collection 2017
- ScienceDirect Freedom Collection 2018
- ScienceDirect Journals
- ScienceDirect Journals (5 years ago - present)
- ScienceDirect Journals (Transactional Access)
- ScienceDirect Physical Sciences College Edition Backfile
- ScienceDirect Polish National Consort 2007
-
Altre opzioni