Search results for "quasi-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Guram Bezhanishvili, Ray Mines, Patrick J. Morandi	The Priestley Separation Axiom for Scattered Spaces.	Order	2002	DBLP DOI BibTeX RDF	Priestley space, scattered space, Stone space, quasi-order
23	Jean Goubault-Larrecq	On Noetherian Spaces.	LICS	2007	DBLP DOI BibTeX RDF
20	Arnold Beckmann, Martin Goldstern, Norbert Preining	Continuous Fraïssé Conjecture.	Order	2008	DBLP DOI BibTeX RDF	Better quasi order, Gödel logic, Wellquasiorder, Fraisse conjecture, Continuous embeddings
20	Daniela Bianucci, Gianpiero Cattaneo	On Non-pointwise Entropies of Coverings: Relationship with Anti-monotonicity.	RSKT	2008	DBLP DOI BibTeX RDF	Co-entropy, Anti-monotonicity, Induced partition, Partitions, Entropy, Partial order, Monotonicity, Coverings, Quasi-order
20	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
20	Kira V. Adaricheva, V. A. Gorbunov	On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	algebraic subsets, Lattice, quasivariety, quasi-order
20	Robert Bonnet, Matatyahu Rubin	On poset Boolean algebras of scattered posets with finite width.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Poset Boolean algebra, Scattered poset, Well quasi order
20	Reinhard Diestel	Relating Subsets of a Poset, and a Partition Theorem for WQOs.	Order	2001	DBLP DOI BibTeX RDF	WQO, partition, graph minors, well-quasi-order
18	Flavio D'Alessandro, Stefano Varricchio	Well Quasi-orders in Formal Language Theory.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	iterated shuffle, finite automata, context-free languages, shuffle, Well quasi-orders
16	Jacques Duparc, Louis Vuilleumier	The Wadge order on the Scott Domain is not a Well-quasi-order.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
14	Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl	Equational Termination by Semantic Labelling.	CSL	2000	DBLP DOI BibTeX RDF
13	Flavio D'Alessandro, Stefano Varricchio	On Well Quasi-orders on Languages.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
12	Daniela Bianucci, Gianpiero Cattaneo	Information Entropy and Granulation Co-Entropy of Partitions and Coverings: A Summary.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF	Measure distributions, partial partitions, co-entropy, isotonicity, anti-tonicity, partitions, entropy, partial ordering, probability distributions, coverings, quasi-ordering
12	Robert Brignall	Labelled Well-Quasi-Order in Juxtapositions of Permutation Classes.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
12	V. Ironmonger, Nik Ruskuc	Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings.	CoRR	2023	DBLP DOI BibTeX RDF
12	Houssem Sabri	An enumeration of distinct and non-isomorphic functional quasi-order relations.	Discret. Math.	2022	DBLP DOI BibTeX RDF
12	M. McDevitt, Nikola Ruskuc	Atomicity and Well Quasi-Order for Consecutive Orderings on Words and Permutations.	SIAM J. Discret. Math.	2021	DBLP DOI BibTeX RDF
12	Zhiliang Ren, Zeshui Xu, Hai Wang 0005	Multi-criteria group decision-making based on quasi-order for dual hesitant fuzzy sets and professional degrees of decision makers.	Appl. Soft Comput.	2018	DBLP DOI BibTeX RDF
12	Sophie Huczynska, Nikola Ruskuc	On well quasi-order of graph classes under homomorphic image orderings.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
12	Arun Kumar 0005, Mohua Banerjee	Algebras of Definable and Rough Sets in Quasi Order-based Approximation Spaces.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
12	Aistis Atminas, Robert Brignall, Nicholas Korpelainen, Vadim V. Lozin, Vincent Vatter	Well-Quasi-Order for Permutation Graphs Omitting a Path and a Clique.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
12	Sophie Huczynska, Nik Ruskuc	Well quasi-order in combinatorics: embeddings and homomorphisms.	Surveys in Combinatorics	2015	DBLP DOI BibTeX RDF
12	E. K. R. Nagarajan, D. Umadevi	Algebra of Rough Sets based on Quasi Order.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
12	Raphaël Carroy	A quasi-order on continuous functions.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
12	Péter Komjáth, Jean A. Larson, Norbert Sauer	The quasi order of graphs on an ordinal.	Discret. Math.	2011	DBLP DOI BibTeX RDF
12	Maria Chudnovsky, Paul D. Seymour	A well-quasi-order for tournaments.	J. Comb. Theory, Ser. B	2011	DBLP DOI BibTeX RDF
12	Jean Daligault, Michaël Rao, Stéphan Thomassé	Well-Quasi-Order of Relabel Functions.	Order	2010	DBLP DOI BibTeX RDF
12	Dominik Janzing, Thomas Beth	Quasi-order of clocks and their synchronism and quantum bounds for copying timing information.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
12	Marko Petkovsek	Letter graphs and well-quasi-order by induced subgraphs.	Discret. Math.	2002	DBLP DOI BibTeX RDF
12	Catherine Huafei Yan	Commuting quasi-order relations.	Discret. Math.	1998	DBLP DOI BibTeX RDF
12	R. Groenemans, Etienne E. Kerre, Gert De Cooman, E. Van Ranst	Fuzzy Database Model Based on Quasi-Order Relations.	J. Intell. Inf. Syst.	1997	DBLP DOI BibTeX RDF
12	David Haussler	Another generalization of Higman's well quasi order result on Sigma*.	Discret. Math.	1985	DBLP DOI BibTeX RDF
12	Melven R. Krom	A property of sentences that define quasi-order.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
7	Salil Joshi 0002, Barbara König 0001	Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.	CAV	2008	DBLP DOI BibTeX RDF
7	Flavio D'Alessandro, Gwénaël Richomme, Stefano Varricchio	Well Quasi Orders and the Shuffle Closure of Finite Sets.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
7	Benedetto Intrigila, Stefano Varricchio	On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees.	Acta Informatica	2000	DBLP DOI BibTeX RDF
7	Fabien Torre, Céline Rouveirol	Natural Ideal Operators in Inductive Logic Programming.	ECML	1997	DBLP DOI BibTeX RDF
6	Bernhard Ganter, Sergei O. Kuznetsov	Scale Coarsening as Feature Selection.	ICFCA	2008	DBLP DOI BibTeX RDF
6	Boris Konev, Frank Wolter, Michael Zakharyaschev	Temporal Logics over Transitive States.	CADE	2005	DBLP DOI BibTeX RDF
6	Joël Ouaknine, James Worrell 0001	On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.	LICS	2004	DBLP DOI BibTeX RDF
6	Flavio D'Alessandro, Stefano Varricchio	Avoidable Sets and Well Quasi-Orders.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
6	Francesca A. Lisi, Donato Malerba	Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.	AI*IA	2003	DBLP DOI BibTeX RDF
6	Walter Bucher, Andrzej Ehrenfeucht, David Haussler	On Total Regulators Generated by Derivation Relations.	ICALP	1985	DBLP DOI BibTeX RDF