Search results for "Semilattice"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	Brett McElwee	Maximal and Minimal Semilattices on Ordered Sets.	Order	2001	DBLP DOI BibTeX RDF	free, filter, minimal, ideal, semilattice, maximal
88	Barry K. Rosen	Monoids for Rapid Data Flow Analysis.	POPL	1978	DBLP DOI BibTeX RDF
66	R. Padmanabhan, P. Penner	Semilattice Operations Generated by Lattice Terms.	Order	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.	ICYCS	2008	DBLP DOI BibTeX RDF
60	Hubie Chen	Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.	CP	2004	DBLP DOI BibTeX RDF
60	Petros Maragos	Algebraic and PDE Approaches for Multiscale Image Operators with Global Constraints: Reference Semilattice Erosions and Levelings.	Scale-Space	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.	SCCC	1998	DBLP DOI BibTeX RDF	genterm, type set, generalization relation, signature, semilattice, Galois lattice
47	Sergei Podzorov	Upper Semilattices in Many-One Degrees.	CiE	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.	CiE	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".	CCC	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.	KSEM	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.	RSKT	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.	Order	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.	Arch. Math. Log.	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.	ICFCA	2004	DBLP DOI BibTeX RDF
35	Thomas Zaslavsky	Perpendicular Dissections of Space.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
35	C. Samuel Hsieh	A Fine-Grained Data-Flow Analysis Framework.	Acta Informatica	1997	DBLP DOI BibTeX RDF
25	Lianzhen Liu, Xiangyang Zhang	The Belluce-semilattice associated with a monadic residuated lattice.	Soft Comput.	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.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
25	Daniel Rogozin	Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
25	Ghazaleh Malekbala, Leila Musavizadeh Jazaeri, Leila Sharifan, Maryam Taha	On the dynamics of semilattice networks.	J. Symb. Comput.	2022	DBLP DOI BibTeX RDF
25	Yale Weiss	A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.	Stud Logica	2021	DBLP DOI BibTeX RDF
25	Yale Weiss	A Reinterpretation of the Semilattice Semantics with Applications.	Logica Universalis	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].	Games Econ. Behav.	2021	DBLP DOI BibTeX RDF
25	Amina Doumane	The Class of Representable Semilattice-Ordered Monoids Is Not a Variety.	RAMiCS	2021	DBLP DOI BibTeX RDF
25	Agustín G. Bonifacio, Jordi Massó	On strategy-proofness and semilattice single-peakedness.	Games Econ. Behav.	2020	DBLP DOI BibTeX RDF
25	Luciano J. González	The Free Distributive Semilattice Extension of a Distributive Poset.	Order	2019	DBLP DOI BibTeX RDF
25	Ralph Freese, James B. Nation, Matt Valeriote	Testing for a Semilattice Term.	Order	2019	DBLP DOI BibTeX RDF
25	Alan Veliz-Cuba, Reinhard C. Laubenbacher	Dynamics of semilattice networks with strongly connected dependency graph.	Autom.	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.	Soft Comput.	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.	Soft Comput.	2019	DBLP DOI BibTeX RDF
25	Andrei A. Bulatov	Constraint Satisfaction Problems over semilattice block Mal'tsev algebras.	Inf. Comput.	2019	DBLP DOI BibTeX RDF
25	Zhaoying Chen, Sumei Zhang, Xiuqing Wang	Congruences on a Semilattice of Inverse Monoids.	ICBDT	2019	DBLP DOI BibTeX RDF
25	Mark H. Siggers	Reflexive Graphs with Near Unanimity but no Semilattice Polymorphisms.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
25	John Frith, Anneliese Schauerte	Meet-Semilattice Congruences on a Frame.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
25	Angelina Grosso, Felice Manganiello, Shiwani Varal, Emily Zhu	Multicast Triangular Semilattice Network.	CoRR	2018	DBLP BibTeX RDF
25		The Complete Extensions do not form a Complete Semilattice.	CoRR	2017	DBLP BibTeX RDF
25	Andrei A. Bulatov	Constraint Satisfaction Problems over semilattice block Mal'tsev algebras.	CoRR	2017	DBLP BibTeX RDF
25	Joël Adler	The countable existentially closed pseudocomplemented semilattice.	Arch. Math. Log.	2017	DBLP DOI BibTeX RDF
25	Andrei A. Bulatov	Constraint satisfaction problems over semilattice block Mal'tsev algebras.	LICS	2017	DBLP DOI BibTeX RDF
25	Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas	Reliable Communication via Semilattice Properties of Partial Knowledge.	FCT	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.	J. Syst. Sci. Complex.	2016	DBLP DOI BibTeX RDF
25	George Voutsadakis	Categorical abstract algebraic logic: skywatching in semilattice systems.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
25	Miaomiao Ren, Xianzhong Zhao	The varieties of semilattice-ordered semigroups satisfying x3≈x and xy≈yx.	Period. Math. Hung.	2016	DBLP DOI BibTeX RDF
25	Szabolcs Mikulás	Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.	Stud Logica	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.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
25	Agata Pilitowska, Anna Zamojska-Dzienio	The Lattice of Subvarieties of Semilattice Ordered Algebras.	Order	2014	DBLP DOI BibTeX RDF
25	Pavol Hell, Mark H. Siggers	Semilattice polymorphisms and chordal graphs.	Eur. J. Comb.	2014	DBLP DOI BibTeX RDF
25	Sergio A. Celani, Ramon Jansana	On the free implicative semilattice extension of a Hilbert algebra.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
25	Peter Sussner, Marcos Eduardo Valle	A Semilattice Approach towards Sparsely Connected Associative Memories.	KES	2012	DBLP BibTeX RDF
25	Daniel Borchmann	A Generalized Next-Closure Algorithm - Enumerating Semilattice Elements from a Generating Set.	CLA	2012	DBLP BibTeX RDF
25	Walter Briec, Qi Bin Liang	On some semilattice structures for production technologies.	Eur. J. Oper. Res.	2011	DBLP DOI BibTeX RDF
25	Josep Maria Font	On semilattice-based logics with an algebraizable assertional companion.	Reports Math. Log.	2011	DBLP BibTeX RDF
25	Miroslav Ploscica	Congruence Lifting of Semilattice Diagrams.	Int. J. Algebra Comput.	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.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
25	George Janelidze, Valdis Laan, László Márki	Limit Preservation Properties of the Greatest Semilattice Image Functor.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
25	Patrice Micouin	Toward a property based requirements theory: System requirements structured as a semilattice.	Syst. Eng.	2008	DBLP DOI BibTeX RDF
25	Grzegorz Binczak, Anna B. Romanowska, Jonathan D. H. Smith	Poset extensions, convex sets, and semilattice presentations.	Discret. Math.	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.	Period. Math. Hung.	2007	DBLP DOI BibTeX RDF
25	Jingde Cheng	A Semilattice Model for the Theory Grid.	SKG	2007	DBLP DOI BibTeX RDF
25	Renato Keshet	Shape-Tree Semilattice.	J. Math. Imaging Vis.	2005	DBLP DOI BibTeX RDF
25	Ryo Kashima	On semilattice relevant logics.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
25	Bruno Leclerc	The Median Procedure in the Semilattice of Orders.	Discret. Appl. Math.	2003	DBLP DOI BibTeX RDF
25	Paul Flondor, Mircea Sularia	On a class of residuated semilattice monoids.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
25	Jaume Casasnovas, Miquel Monserrat, Francesc Rosselló	On the semilattice of inner extensions of a fuzzy partial algebra.	Fuzzy Sets Syst.	2002	DBLP DOI BibTeX RDF
25	Henk J. A. M. Heijmans, Renato Keshet	Inf-Semilattice Approach to Self-Dual Morphology.	J. Math. Imaging Vis.	2002	DBLP DOI BibTeX RDF
25	Stuart A. Rankin	Semilattice Amalgams and Semidirect Product.	Words, Semigroups, and Transductions	2001	DBLP BibTeX RDF
25	Robert Gill	The Action of the Symmetric Group on a Generalized Partition Semilattice.	Electron. J. Comb.	2000	DBLP DOI BibTeX RDF
25	Hisato Muraki	Non-Distributive Upper Semilattice of Kleene Degrees.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
25	Robert Gill	The number of elements in a generalized partition semilattice.	Discret. Math.	1998	DBLP DOI BibTeX RDF
25	Anna B. Romanowska, Jonathan D. H. Smith	Semilattice-based dualities.	Stud Logica	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.	Theor. Comput. Sci.	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.	RAIRO Theor. Informatics Appl.	1995	DBLP DOI BibTeX RDF
25	Carl G. Jockusch Jr., Theodore A. Slaman	On the Sigma2-Theory of the Upper Semilattice of Turing Degrees.	J. Symb. Log.	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.	Log. J. IGPL	1993	DBLP DOI BibTeX RDF
25	Alex Feldman	Recursion Theory in a Lower Semilattice.	J. Symb. Log.	1992	DBLP DOI BibTeX RDF
25	János Demetrovics, Leonid Libkin, Ilya B. Muchnik	Functional Dependencies and the Semilattice of Closed Classes.	MFDBS	1989	DBLP DOI BibTeX RDF
25	Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart	Further Results on Proof Theories For Semilattice Logics.	Math. Log. Q.	1988	DBLP DOI BibTeX RDF
25	Steve Giambrone, Robert K. Meyer, Alasdair Urquhart	A Contractionless Semilattice Semantics.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
25	Steve Giambrone, Alasdair Urquhart	Proof Theories for Semilattice Logics.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
25	David B. Posner	The Upper Semilattice of Degrees <0? Is Complemented.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
25	G. Charlwood	An Axiomatic Version of Positive Semilattice Relevance Logic.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
25	Melvin Tainiter	Generating Functions on Idempotent Semigroups II. Semilattice Variables and Independence.	J. Comb. Theory, Ser. A	1972	DBLP DOI BibTeX RDF
24	Peter Orlik	Hyperplane Arrangements.	Encyclopedia of Optimization	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.	Order	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.	Appl. Categorical Struct.	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.	J. Electron. Test.	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.	Conf. Computing Frontiers	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.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A12, 06B35
18	Oleh R. Nykyforchyn	Capacities with Values in Compact Hausdorff Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B30, 06F30, 54B30
18	Staal Amund Vinterbo	A Stab at Approximating Minimum Subadditive Join.	WADS	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.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
18	Ramon Jansana	Selfextensional Logics with a Conjunction.	Stud Logica	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.	Stud Logica	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'.	Arch. Math. Log.	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.	ADBIS	2006	DBLP DOI BibTeX RDF
18	Kedian Mu, Zhi Jin, Ruqian Lu	Inconsistency-Based Strategy for Clarifying Vague Software Requirements.	Australian Conference on Artificial Intelligence	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.	Ann. Math. Artif. Intell.	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.	IDEAS	2004	DBLP DOI BibTeX RDF
18	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF