|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 18 keywords
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Guram Bezhanishvili, Ray Mines, Patrick J. Morandi |
The Priestley Separation Axiom for Scattered Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(1), pp. 1-10, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Priestley space, scattered space, Stone space, quasi-order |
23 | Jean Goubault-Larrecq |
On Noetherian Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 453-462, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Arnold Beckmann, Martin Goldstern, Norbert Preining |
Continuous Fraïssé Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(4), pp. 281-298, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 387-394, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(1), pp. 65-88, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 35-44, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(4), pp. 467-476, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(3), pp. 275-279, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings, pp. 84-95, 2008, Springer, 978-3-540-85779-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(1), pp. 300-324, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl |
Equational Termination by Semantic Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 457-471, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Flavio D'Alessandro, Stefano Varricchio |
On Well Quasi-orders on Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 230-241, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Daniela Bianucci, Gianpiero Cattaneo |
Information Entropy and Granulation Co-Entropy of Partitions and Coverings: A Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets X, pp. 15-66, 2009, Springer, 978-3-642-03280-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 31(2), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | V. Ironmonger, Nik Ruskuc |
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11048, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Houssem Sabri |
An enumeration of distinct and non-isomorphic functional quasi-order relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 345(11), pp. 113039, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | M. McDevitt, Nikola Ruskuc |
Atomicity and Well Quasi-Order for Consecutive Orderings on Words and Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 35(1), pp. 495-520, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 71, pp. 20-35, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Sophie Huczynska, Nikola Ruskuc |
On well quasi-order of graph classes under homomorphic image orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 63, pp. 164-175, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Arun Kumar 0005, Mohua Banerjee |
Algebras of Definable and Rough Sets in Quasi Order-based Approximation Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 141(1), pp. 37-55, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 22(2), pp. 2, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Sophie Huczynska, Nik Ruskuc |
Well quasi-order in combinatorics: embeddings and homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Surveys in Combinatorics ![In: Surveys in Combinatorics 2015, pp. 261-294, 2015, Cambridge University Press, 9781316106853. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | E. K. R. Nagarajan, D. Umadevi |
Algebra of Rough Sets based on Quasi Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 126(1), pp. 83-101, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Raphaël Carroy |
A quasi-order on continuous functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(2), pp. 633-648, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Péter Komjáth, Jean A. Larson, Norbert Sauer |
The quasi order of graphs on an ordinal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(15), pp. 1451-1460, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Maria Chudnovsky, Paul D. Seymour |
A well-quasi-order for tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 101(1), pp. 47-53, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Jean Daligault, Michaël Rao, Stéphan Thomassé |
Well-Quasi-Order of Relabel Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 27(3), pp. 301-315, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Dominik Janzing, Thomas Beth |
Quasi-order of clocks and their synchronism and quantum bounds for copying timing information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 49(1), pp. 230-240, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Marko Petkovsek |
Letter graphs and well-quasi-order by induced subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 244(1-3), pp. 375-388, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Catherine Huafei Yan |
Commuting quasi-order relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 183(1-3), pp. 285-292, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 8(3), pp. 227-243, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | David Haussler |
Another generalization of Higman's well quasi order result on Sigma*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 57(3), pp. 237-243, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Melven R. Krom |
A property of sentences that define quasi-order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 7(4), pp. 349-352, 1966. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 214-226, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 260-269, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(9/10), pp. 817-835, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Fabien Torre, Céline Rouveirol |
Natural Ideal Operators in Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-97, 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997, Proceedings, pp. 274-289, 1997, Springer, 3-540-62858-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
6 | Bernhard Ganter, Sergei O. Kuznetsov |
Scale Coarsening as Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 217-228, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Boris Konev, Frank Wolter, Michael Zakharyaschev |
Temporal Logics over Transitive States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 182-203, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Joël Ouaknine, James Worrell 0001 |
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 54-63, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Flavio D'Alessandro, Stefano Varricchio |
Avoidable Sets and Well Quasi-Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings, pp. 139-150, 2004, Springer, 3-540-24014-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Francesca A. Lisi, Donato Malerba |
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, pp. 53-64, 2003, Springer, 3-540-20119-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Walter Bucher, Andrzej Ehrenfeucht, David Haussler |
On Total Regulators Generated by Derivation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 71-79, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|