Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
147 | Brett McElwee |
Maximal and Minimal Semilattices on Ordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(2), pp. 137-149, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
free, filter, minimal, ideal, semilattice, maximal |
88 | Barry K. Rosen |
Monoids for Rapid Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 47-59, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
66 | R. Padmanabhan, P. Penner |
Semilattice Operations Generated by Lattice Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(3), pp. 257-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice |
60 | Chengming Qi, Yingjie Tian 0001, Shoumei Cui, Yunchuan Sun |
Concept Semilattice: Construction and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1849-1853, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Hubie Chen |
Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 168-181, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Petros Maragos |
Algebraic and PDE Approaches for Multiscale Image Operators with Global Constraints: Reference Semilattice Erosions and Levelings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale-Space and Morphology in Computer Vision, Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001, Proceedings, pp. 137-148, 2001, Springer, 3-540-42317-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Marie-Catherine Daniel-Vatonne, C. Hemce |
On a Tree-like Representation for Symbolic-Numeric Data and Its Use in Galois Lattice Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), November 12-14, 1998, Antofagasta, Chile, pp. 48-57, 1998, IEEE Computer Society, 0-8186-8616-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
genterm, type set, generalization relation, signature, semilattice, Galois lattice |
47 | Sergei Podzorov |
Upper Semilattices in Many-One Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 491-497, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributive Upper Semilattice, Many-One Degree, Lachlan Semilattice, Computably Enumerable Set, Simple Set, Hypersimple Set, Immune Set, Hyperimmune Set, Arithmetical Hierarchy |
47 | Victor L. Selivanov |
A Useful Undecidable Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 685-694, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discrete weak semilattice, partition, theory, reducibility, undecidability, Semilattice |
42 | Andrei A. Muchnik, Andrei E. Romashchenko, Alexander Shen, Nikolai K. Vereshchagin |
Upper Semilattice of Binary Strings with the Relation "x is Simple Conditional to y". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999, pp. 114-, 1999, IEEE Computer Society, 0-7695-0075-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Turing degrees, mutual information, Kolmogorov complexity |
41 | Hongru Li, Ping Wei, Xiaoxue Song |
Construction of Concept Lattices Based on Indiscernibility Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 229-240, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Indiscernibility matrix, Concept lattice, Congruence, Formal context, Semilattice |
41 | Hong-Ru Li, Wen-Xiu Zhang, Ping Xu, Hong Wang |
Rough Set Attribute Reduction in Decision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 135-140, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C-closed set, dependence space, congruence, knowledge reduction, semilattice |
41 | Marcel Erné |
Intervals in Lattices of alpha-Meet-Closed Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(2), pp. 137-153, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible |
35 | Dieter Spreen |
Strong reducibility of partial numberings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(2), pp. 209-217, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Partial numberings, Total numberings, Complete numberings, Degree structure, Reducibility |
35 | Jean Diatta |
Concept Extensions and Weak Clusters Associated with Multiway Dissimilarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings, pp. 236-243, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Zaslavsky |
Perpendicular Dissections of Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 27(3), pp. 303-351, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | C. Samuel Hsieh |
A Fine-Grained Data-Flow Analysis Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(9), pp. 653-665, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Lianzhen Liu, Xiangyang Zhang |
The Belluce-semilattice associated with a monadic residuated lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(11), pp. 6983-6998, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yao Ouyang, Hua-Peng Zhang, Zhudeng Wang, Bernard De Baets |
On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 439, pp. 89-101, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Rogozin |
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(8), pp. 1839-1854, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ghazaleh Malekbala, Leila Musavizadeh Jazaeri, Leila Sharifan, Maryam Taha |
On the dynamics of semilattice networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 113, pp. 53-73, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Yale Weiss |
A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(1), pp. 125-136, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yale Weiss |
A Reinterpretation of the Semilattice Semantics with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 15(2), pp. 171-191, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Agustín G. Bonifacio, Jordi Massó |
Corrigendum to "On strategy-proofness and semilattice single-peakedness" [Games Econ. Behav. 124 (2020) 219-238]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 130, pp. 684-689, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Amina Doumane |
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 144-158, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Agustín G. Bonifacio, Jordi Massó |
On strategy-proofness and semilattice single-peakedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 124, pp. 219-238, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Luciano J. González |
The Free Distributive Semilattice Extension of a Distributive Poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 36(2), pp. 359-375, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ralph Freese, James B. Nation, Matt Valeriote |
Testing for a Semilattice Term. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 36(1), pp. 65-76, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Alan Veliz-Cuba, Reinhard C. Laubenbacher |
Dynamics of semilattice networks with strongly connected dependency graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 99, pp. 167-174, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ramon Jansana, Hernán Javier San Martín |
On the free frontal implicative semilattice extension of a frontal Hilbert algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(21), pp. 10635-10648, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | José L. Castiglioni, Hernán Javier San Martín |
Variations of the free implicative semilattice extension of a Hilbert algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(13), pp. 4633-4641, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Bulatov |
Constraint Satisfaction Problems over semilattice block Mal'tsev algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 268, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Zhaoying Chen, Sumei Zhang, Xiuqing Wang |
Congruences on a Semilattice of Inverse Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBDT ![In: Proceedings of the 2nd International Conference on Big Data Technologies, ICBDT 2019, Jinan, China, August 28-30, 2019., pp. 182-186, 2019, ACM, 978-1-4503-7192-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Mark H. Siggers |
Reflexive Graphs with Near Unanimity but no Semilattice Polymorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 25(4), pp. 4, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | John Frith, Anneliese Schauerte |
Meet-Semilattice Congruences on a Frame. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 997-1013, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Angelina Grosso, Felice Manganiello, Shiwani Varal, Emily Zhu |
Multicast Triangular Semilattice Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.04512, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | |
The Complete Extensions do not form a Complete Semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.05341, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Andrei A. Bulatov |
Constraint Satisfaction Problems over semilattice block Mal'tsev algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.02623, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Joël Adler |
The countable existentially closed pseudocomplemented semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 56(3-4), pp. 397-402, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Bulatov |
Constraint satisfaction problems over semilattice block Mal'tsev algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-11, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas |
Reliable Communication via Semilattice Properties of Partial Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 367-380, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Nguyen The Vinh, Thi Hoai Pham |
New results on system of generalized quasi-Ky Fan inequalities with set-valued mappings in topological semilattice spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 29(6), pp. 1585-1595, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | George Voutsadakis |
Categorical abstract algebraic logic: skywatching in semilattice systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 24(2), pp. 138-155, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Miaomiao Ren, Xianzhong Zhao |
The varieties of semilattice-ordered semigroups satisfying x3≈x and xy≈yx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 72(2), pp. 158-170, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Szabolcs Mikulás |
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(3), pp. 453-478, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Pentti Haukkanen, Mika Mattila, Jori Mäntysalo |
Studying the singularity of LCM-type matrices via semilattice structures and their Möbius functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 135, pp. 181-200, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Agata Pilitowska, Anna Zamojska-Dzienio |
The Lattice of Subvarieties of Semilattice Ordered Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 31(2), pp. 217-238, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Pavol Hell, Mark H. Siggers |
Semilattice polymorphisms and chordal graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 36, pp. 694-706, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Sergio A. Celani, Ramon Jansana |
On the free implicative semilattice extension of a Hilbert algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 58(3), pp. 188-207, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Peter Sussner, Marcos Eduardo Valle |
A Semilattice Approach towards Sparsely Connected Associative Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Advances in Knowledge-Based and Intelligent Information and Engineering Systems - 16th Annual KES Conference, San Sebastian, Spain, 10-12 September 2012, pp. 2180-2190, 2012, IOS Press, 978-1-61499-104-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Daniel Borchmann |
A Generalized Next-Closure Algorithm - Enumerating Semilattice Elements from a Generating Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLA ![In: Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, Fuengirola (Málaga), Spain, October 11-14, 2012, pp. 9-20, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Walter Briec, Qi Bin Liang |
On some semilattice structures for production technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 215(3), pp. 740-749, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Josep Maria Font |
On semilattice-based logics with an algebraizable assertional companion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 46, pp. 109-132, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Miroslav Ploscica |
Congruence Lifting of Semilattice Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 19(7), pp. 911-924, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Serikzhan A. Badaev, Steffen Lempp |
A decomposition of the Rogers semilattice of a family of d.c.e. sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 74(2), pp. 618-640, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | George Janelidze, Valdis Laan, László Márki |
Limit Preservation Properties of the Greatest Semilattice Image Functor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 18(5), pp. 853-867, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Patrice Micouin |
Toward a property based requirements theory: System requirements structured as a semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 11(3), pp. 235-245, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Grzegorz Binczak, Anna B. Romanowska, Jonathan D. H. Smith |
Poset extensions, convex sets, and semilattice presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 307(1), pp. 1-11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Kamilla Kátai-Urbán, Árpád Tritz |
Semilattice orders on the homomorphic images of the Rédei semigroup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 55(1), pp. 61-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Jingde Cheng |
A Semilattice Model for the Theory Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Third International Conference on Semantics, Knowledge and Grid, Xian, Shan Xi, China, October 29-31, 2007, pp. 152-157, 2007, IEEE Computer Society, 0-7695-3007-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Renato Keshet |
Shape-Tree Semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 22(2-3), pp. 309-331, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ryo Kashima |
On semilattice relevant logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(4), pp. 401-414, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Bruno Leclerc |
The Median Procedure in the Semilattice of Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 127(2), pp. 285-302, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Paul Flondor, Mircea Sularia |
On a class of residuated semilattice monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 138(1), pp. 149-176, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Jaume Casasnovas, Miquel Monserrat, Francesc Rosselló |
On the semilattice of inner extensions of a fuzzy partial algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 127(3), pp. 383-390, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Henk J. A. M. Heijmans, Renato Keshet |
Inf-Semilattice Approach to Self-Dual Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 17(1), pp. 55-80, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Stuart A. Rankin |
Semilattice Amalgams and Semidirect Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 381-393, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
25 | Robert Gill |
The Action of the Symmetric Group on a Generalized Partition Semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 7, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Hisato Muraki |
Non-Distributive Upper Semilattice of Kleene Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 64(1), pp. 147-158, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Robert Gill |
The number of elements in a generalized partition semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 186(1-3), pp. 125-134, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Anna B. Romanowska, Jonathan D. H. Smith |
Semilattice-based dualities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 56(1/2), pp. 225-261, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili 0001, Nejib Zaguia |
Embedding a Demonic Semilattice in a Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 149(2), pp. 333-360, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Francine Blanchet-Sadri |
Equations on the Semidirect Product of a Finite Semilattice by a J-Trivial Monoid of Height k. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 29(3), pp. 157-170, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Carl G. Jockusch Jr., Theodore A. Slaman |
On the Sigma2-Theory of the Upper Semilattice of Turing Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 58(1), pp. 193-204, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Ágnes Kurucz, István Németi, Ildikó Sain, András Simon |
Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 1(1), pp. 91-98, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Alex Feldman |
Recursion Theory in a Lower Semilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 57(3), pp. 892-911, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | János Demetrovics, Leonid Libkin, Ilya B. Muchnik |
Functional Dependencies and the Semilattice of Closed Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFDBS ![In: MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989, pp. 136-147, 1989, Springer, 3-540-51251-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart |
Further Results on Proof Theories For Semilattice Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 34(4), pp. 301-304, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Steve Giambrone, Robert K. Meyer, Alasdair Urquhart |
A Contractionless Semilattice Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 52(2), pp. 526-529, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Steve Giambrone, Alasdair Urquhart |
Proof Theories for Semilattice Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 33(5), pp. 433-439, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | David B. Posner |
The Upper Semilattice of Degrees <0? Is Complemented. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(4), pp. 705-713, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
25 | G. Charlwood |
An Axiomatic Version of Positive Semilattice Relevance Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(2), pp. 233-239, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
25 | Melvin Tainiter |
Generating Functions on Idempotent Semigroups II. Semilattice Variables and Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 13(3), pp. 401-421, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
24 | Peter Orlik |
Hyperplane Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1545-1547, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geometric semilattice, Orlik-Solomon algebra, Divisor, Homotopy type, Poincaré polynomial, Ball quotient, Logarithmic form, Hypergeometric integral, Singularity, Complement, Hyperplane arrangement |
24 | 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 |
24 | Helmut Röhrl |
Convexity Theories VII. Discrete Gamma-Convex Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 259-283, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
discrete -convex module, join semilattice, Klein-Hilbert relation |
24 | Janusz A. Brzozowski, Helmut Jürgensen |
An algebra of multiple faults in RAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 8(2), pp. 129-142, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
testing, composition, stuck-at fault, multiple fault, automaton, transition fault, RAM, pattern-sensitive fault, coupling fault, semilattice |
18 | Andrew Ian Stone, Steve DiBenedetto, Michelle Mills Strout, Daniel Massey |
Scalable simulation of complex network routing policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 347-356, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
metarouting, simulation, performance, routing, parallel, data-flow analysis |
18 | Ilham Chakir, Maurice Pouzet |
The Length of Chains in Modular Algebraic Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(4), pp. 227-247, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A12, 06B35 |
18 | Oleh R. Nykyforchyn |
Capacities with Values in Compact Hausdorff Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(3), pp. 243-257, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18B30, 06F30, 54B30 |
18 | Staal Amund Vinterbo |
A Stab at Approximating Minimum Subadditive Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings, pp. 214-225, 2007, Springer, 978-3-540-73948-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ehab S. Elmallah, Hosam M. F. AboElFotoh |
Circular Layout Cutsets: An Approach for Improving Consecutive Cutset Bounds for Network Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(4), pp. 602-612, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ramon Jansana |
Selfextensional Logics with a Conjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(1), pp. 63-104, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
selfextensional logic, Fregan logic, generalized matrix, full generalized model, fully adequate Gentzen system, algebraic logic, algebraizable logic |
18 | Jeffrey S. Olson |
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 393-406, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation |
18 | Boris Solon |
C-Quasi-Minimal enumeration degrees below c'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(4), pp. 505-517, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | János Demetrovics, András J. Molnár, Bernhard Thalheim |
Relationship Design Using Spreadsheet Reasoning for Sets of Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings, pp. 108-123, 2006, Springer, 3-540-37899-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kedian Mu, Zhi Jin, Ruqian Lu |
Inconsistency-Based Strategy for Clarifying Vague Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 39-48, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán |
A New Algebraic Tool for Automatic Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(4), pp. 369-398, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory |
18 | Zoran Majkic |
Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal, pp. 459-461, 2004, IEEE Computer Society, 0-7695-2168-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Andrei A. Bulatov |
A Graph of a Relational Structure and Constraint Satisfaction Problems. ![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. 448-457, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|