The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase h-quasiorder (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001-2022 (16)
Publication types (Num. hits)
article(9) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 12 keywords

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
133Oleg V. Kudinov, Victor L. Selivanov Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homomorphic quasiorder, elementary theory, Tree, undecidability, forest, labeled tree
109Oleg V. Kudinov, Victor L. Selivanov Definability in the Homomorphic Quasiorder of Finite Labeled Forests. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF homomorphic quasiorder, atomic structure, definability, forest, automorphism, Labeled tree
85K. Cipková On a quasiorder on the class of monounary algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Monounary algebra, Degree of element, endomorphism, Quasiorder, homomorphism
51Oleg V. Kudinov, Victor L. Selivanov A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability
34Samuel Braunfeld, Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz On the first-order transduction quasiorder of hereditary classes of graphs. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz Structural Properties of the First-Order Transduction Quasiorder. Search on Bibsonomy CSL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Pierre Ganty, Elena Gutiérrez, Pedro Valero 0001 A Quasiorder-based Perspective on Residual Automata. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
34Pierre Ganty, Elena Gutiérrez, Pedro Valero 0001 A Quasiorder-Based Perspective on Residual Automata. Search on Bibsonomy MFCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Jouni Järvinen, Sándor Radeleczki Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
34Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov Definability in the h-quasiorder of labeled forests. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Oleg V. Kudinov, Victor L. Selivanov Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jürg Schmid Quasiorders and Sublattices of Distributive Lattices. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF quasiorder, sublattice, distributive lattice, representation theory
27Radim Belohlávek Fuzzy closure operators II: induced relations, representation, and examples. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fuzzy equivalence, Fuzzy quasiorder, Consequence relation, Closure operator
24Jouni Järvinen, Sándor Radeleczki, Laura Veres Rough Sets Determined by Quasiorders. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06A06, Secondary 06D10, 06D15, 68T37
24Oleg V. Kudinov, Victor L. Selivanov Definability in the Infix Order on Words. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory
24Frithjof Dau Concept Graphs and Predicate Logic. Search on Bibsonomy ICCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license