Search results for "Quasiorder"

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

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