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

Risutati 1 - 10 di 164  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Highly acyclic groups, hypergraph covers, and the guarded fragment
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Highly acyclic groups, hypergraph covers, and the guarded fragment

Otto, Martin

Journal of the ACM (JACM), 2012-02-01, Vol.59 (1), p.1-40 [Rivista Peer Reviewed]

Fulltext disponibile

2
A combinatorial characterization of resolution width
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A combinatorial characterization of resolution width

Atserias, Albert ; Dalmau, Víctor

Journal of computer and system sciences, 2008-05, Vol.74 (3), p.323-334 [Rivista Peer Reviewed]

Fulltext disponibile

3
Homomorphism preservation theorems
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Homomorphism preservation theorems

Rossman, Benjamin

Journal of the ACM (JACM), 2008-07-01, Vol.55 (3), p.1-53 [Rivista Peer Reviewed]

Fulltext disponibile

4
Level Two of the Quantifier Alternation Hierarchy Over Infinite Words
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Level Two of the Quantifier Alternation Hierarchy Over Infinite Words

Kufleitner, Manfred ; Kufleitner, Manfred ; Walter, Tobias ; Walter, Tobias ; Woeginger, Gerhard J ; Woeginger, Gerhard J ; Kulikov, Alexander S ; Kulikov, Alexander S

Theory of computing systems, 2018-04, Vol.62 (3), p.467-480 [Rivista Peer Reviewed]

Fulltext disponibile

5
Affine systems of equations and counting infinitary logic
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), p.1666-1683 [Rivista Peer Reviewed]

Fulltext disponibile

6
On the relational complexity of a finite permutation group
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the relational complexity of a finite permutation group

Cherlin, Gregory ; Cherlin, Gregory

Journal of algebraic combinatorics, 2016-03, Vol.43 (2), p.339-374 [Rivista Peer Reviewed]

Fulltext disponibile

7
Descriptive complexity of #P functions: A new perspective
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Descriptive complexity of #P functions: A new perspective

Durand, Arnaud ; Haak, Anselm ; Kontinen, Juha ; Vollmer, Heribert

Journal of computer and system sciences, 2020-04 [Rivista Peer Reviewed]

Fulltext disponibile

8
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination

Koponen, Vera

Theoretical computer science, 2020-08 [Rivista Peer Reviewed]

Fulltext disponibile

9
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the locality of arb-invariant first-order formulas with modulo counting quantifiers

Harwath, Frederik ; Schweikardt, Nicole ; Barcelo, Pablo

Logical methods in computer science, 2017-04-27, Vol.12 (4) [Rivista Peer Reviewed]

Fulltext disponibile

10
Expressive completeness through logically tractable models
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Expressive completeness through logically tractable models

Otto, Martin

Annals of pure and applied logic, 2013-12, Vol.164 (12), p.1418-1453 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 164  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (122)

Data di pubblicazione 

Da A
  1. Prima del1988 
  2. 1988-1997 
  3. 1998-2004 
  4. 2005-2012 
  5. Dopo il 2012 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...