Search results for "quantifier-rank"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Hervé Fournier	Quantifier Rank for Parity of Embedded Finite Models.	MFCS	2001	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé games, Uniform Quantifier Elimination, Connectivity, Reachability, Parity, Constraint databases
44	Benjamin Rossman	Homomorphism preservation theorems.	J. ACM	2008	DBLP DOI BibTeX RDF	preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory
38	Yijia Chen, Jörg Flum	Tree-depth, quantifier elimination, and quantifier rank.	LICS	2018	DBLP DOI BibTeX RDF
22	Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira	On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.	LSFA	2018	DBLP DOI BibTeX RDF
22	Yijia Chen, Jörg Flum, Xuangui Huang	Slicewise definability in first-order logic with bounded quantifier rank.	CoRR	2017	DBLP BibTeX RDF
22	Yijia Chen, Jörg Flum, Xuangui Huang	Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.	CSL	2017	DBLP DOI BibTeX RDF
22	Ryan Siders	On quantifier-rank equivalence between linear orders.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
22	Oleg Pikhurko, Oleg Verbitsky 0001	Descriptive complexity of finite structures: Saving the quantifier rank.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
22	Hervé Fournier	Quantifier rank for parity of embedded finite models.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Benjamin Rossman	Ehrenfeucht-Fraïssé Games on Random Structures.	WoLLIC	2009	DBLP DOI BibTeX RDF
14	Wolfgang Thomas	Model Transformations in Decidability Proofs for Monadic Theories.	CSL	2008	DBLP DOI BibTeX RDF
14	Ryan Bissell-Siders	Ehrenfeucht-Fraïssé Games on Linear Orders.	WoLLIC	2007	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé game, semimodel, completion, decision procedure, linear order
14	Benjamin Rossman	Existential Positive Types and Preservation under Homomorphisisms.	LICS	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )