Search results for "distributive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jonathan David Farley, Stefan E. Schmidt	Posets That Locally Resemble Distributive Lattices: An Extension of Stanley's Theorem (with Connections to Buildings and Diagram Geometries).	J. Comb. Theory, Ser. A	2000	DBLP DOI BibTeX RDF
16	Shannon L. Fitzpatrick, Jeannette C. M. Janssen, Richard J. Nowakowski	Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
16	Grace SauLan Loo, Dean H. S. Ly, Bondic C. P. Tang	Mobile Agent Applications in a Distributive Interactive Virtual Environment: The Happy Paradise (HAPA).	DEXA Workshops	2000	DBLP DOI BibTeX RDF	Distributed Interactive Virtual Environment, Happy Paradise, HAPA, multimedia visual software, distributed multi-users, IMAIS project, Beliefs Desires Intentions model, tour agent, software engineering, World Wide Web, multimedia, mobile agent, distributed programming, tourism, end-users, Fuzzy queries, evolutionary development, security agent, DIVE
16	Fred R. McMorris, Robert C. Powers	The median function on distributive semilattices.	Electron. Notes Discret. Math.	1999	DBLP DOI BibTeX RDF
16	Hisato Muraki	Non-Distributive Upper Semilattice of Kleene Degrees.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
16	Sergio A. Celani	Distributive Lattices with a Negation Operator.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
16	John L. Bell	Boolean Algebras and Distributive Lattices Treated Constructively.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
16	Hongbin Cui, Chongyou Zheng	Stratification structures on a kind of completely distributive lattices and their applications in the theory of topological molecular lattices.	Fuzzy Sets Syst.	1999	DBLP DOI BibTeX RDF
16	Dwight Duffus, Bill Sands	An inequality for the sizes of prime filters of finite distributive lattices.	Discret. Math.	1999	DBLP DOI BibTeX RDF
16	Helmut Seidl, Damian Niwinski	On distributive fixed-point expressions.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
16	Robert G. Donnelly	Symplectic Analogs of the Distributive Lattices L(m, n).	J. Comb. Theory, Ser. A	1999	DBLP DOI BibTeX RDF
16	Nick Bezhanishvili	Distributive Lattices with Quantifiers: Topological Representation.	ESSLLI Student Papers	1999	DBLP BibTeX RDF
16	Tom Fitzpatrick, Gordon S. Blair, Geoff Coulson, Nigel Davies 0001, Philippe Robin	Software architecture for adaptive distributive multimedia systems.	IEE Proc. Softw.	1998	DBLP DOI BibTeX RDF
16	Hernando Gaitán	Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.	Math. Log. Q.	1998	DBLP DOI BibTeX RDF
16	William F. Doran IV	On the Homology of Distributive Lattices.	Eur. J. Comb.	1998	DBLP DOI BibTeX RDF
16	Manfred Schmidt-Schauß	A Decision Algorithm for Distributive Unification.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
16	Joel Berman, Gabriela Hauser Bordalo	Finite distributive lattices and doubly irreducible elements.	Discret. Math.	1998	DBLP DOI BibTeX RDF
16	Catherine Huafei Yan	Distributive laws for commuting equivalence relations.	Discret. Math.	1998	DBLP DOI BibTeX RDF
16	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	Nord. J. Comput.	1998	DBLP BibTeX RDF
16	Gerd Stumme	Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis.	KI	1998	DBLP DOI BibTeX RDF
16	Nasir Touheed	Parallel dynamic load-balancing for adaptive distributive memory PDE solvers.		1998	RDF
16	Helmut Seidl, Christian Fecht	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems	Universität Trier, Mathematik/Informatik, Forschungsbericht	1997	RDF
16	James Gary Propp	Generating random elements of finite distributive lattices.	Electron. J. Comb.	1997	DBLP DOI BibTeX RDF
16	Ales Drápal	Finite Left Distributive Groupoids with one Generator.	Int. J. Algebra Comput.	1997	DBLP DOI BibTeX RDF
16	Joanna Grygiel, Piotr Wojtylak	The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices.	Reports Math. Log.	1997	DBLP BibTeX RDF
16	Pierre Matet	Combinatorics and Forcing with Distributive Ideals.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
16	Alejandro Petrovich	Equations in the theory of Q-distributive lattices.	Discret. Math.	1997	DBLP DOI BibTeX RDF
16	Jean-Pierre Olivier	Oriented, Binary, Ordered Trees and Forests Distributive Allegories.	RelMiCS	1997	DBLP BibTeX RDF
16	John K. Slaney, Robert K. Meyer	Logic for Two: The Semantics of Distributive Substructural Logics.	ECSQARU-FAPR	1997	DBLP DOI BibTeX RDF
16	Z. Guofu, L. Shijun, C. Shihong	The Research of Distributive Object Programming Environment.	TOOLS (24)	1997	DBLP DOI BibTeX RDF
16	Juraj Hromkovic, Jarkko Kari, Lila Kari, Dana Pardubská	Two Lower Bounds on Distributive Generation of Languages.	Fundam. Informaticae	1996	DBLP DOI BibTeX RDF
16	Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman	Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
16	Michel Habib, Lhouari Nourine	Tree Structure for Distributive Lattices and its Applications.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Sebastiano Vigna	On the Relations between Distributive Computability and the BSS Model.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Alejandro Petrovich	Distributive lattices with an operator.	Stud Logica	1996	DBLP DOI BibTeX RDF
16	Roberto Cignoli	Free Q-distributive lattices.	Stud Logica	1996	DBLP DOI BibTeX RDF
16	Fang Jinming	Semi-closed elements and semi-interior operation on completely distributive lattices.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
16	Bart Jacobs 0001	Parameters and Parametrization in Specification, Using Distributive Categories.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
16	Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters	Fix-point Semantics for Programs in Distributive Categories.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
16	Boris Spieker	The Set of Super-stable Marriages Forms a Distributive Lattice.	Discret. Appl. Math.	1995	DBLP DOI BibTeX RDF
16	Jerzy Kotas, Piotr Wojtylak	Finite Distributive Lattices as Sums of Boolean Algebras.	Reports Math. Log.	1995	DBLP BibTeX RDF
16	De-Xue Zhang, Ying-Ming Liu	L-fuzzy version of Stone's representation theorem for distributive lattices.	Fuzzy Sets Syst.	1995	DBLP DOI BibTeX RDF
16	Fairouz Kamareddine	A Type Free Theory and Collective/Distributive Predication.	J. Log. Lang. Inf.	1995	DBLP DOI BibTeX RDF
16	Alan M. N. Fu, Hong Yan 0001	Distributive properties of main overlap and noise terms in Autoassociative Memory Networks.	Neural Networks	1995	DBLP DOI BibTeX RDF
16	Michael Huth 0001	A Maximal Monoidal Closed Category of Distributive Algebraic Domains	Inf. Comput.	1995	DBLP DOI BibTeX RDF
16	Manfred Schmidt-Schauß	An Algorithm for Distributive Unification.	UNIF	1995	DBLP BibTeX RDF
16	Juraj Hromkovic	On the Communication Complexity of Distributive Language Generation.	Developments in Language Theory	1995	DBLP BibTeX RDF
16	Cosimo Laneve	Distributive Evaluations of lambda-calculus.	Fundam. Informaticae	1994	DBLP DOI BibTeX RDF
16	Patrick Dehornoy	A Normal Form for the Free Left Distributive Law.	Int. J. Algebra Comput.	1994	DBLP DOI BibTeX RDF
16	J. A. Gerhard, Mario Petrich	Unification in Free Distributive Lattices.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
16	Gerhard Gierz	Level sets in finite distributive lattices of breadth 3.	Discret. Math.	1994	DBLP DOI BibTeX RDF
16	M. E. Adams, Wieslaw Dziobiak	Quasivarieties of distributive lattices with a quantifier.	Discret. Math.	1994	DBLP DOI BibTeX RDF
16	Juraj Hromkovic, Jarkko Kari, Lila Kari, Dana Pardubská	Two Lower Bounds on Distributive Generation of Languages.	MFCS	1994	DBLP DOI BibTeX RDF
16	Christine Solnon, Michel Rueher	Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.	LOPSTR	1994	DBLP DOI BibTeX RDF
16	J. Robin B. Cockett	Introduction to Distributive Categories.	Math. Struct. Comput. Sci.	1993	DBLP DOI BibTeX RDF
16	Qihou Zhou	A distributive model of playing the game Link-Five and its computer implementation.	IEEE Trans. Syst. Man Cybern.	1993	DBLP DOI BibTeX RDF
16	Josep Maria Font, Ventura Verdú	The lattice of distributive closure operators over an algebra.	Stud Logica	1993	DBLP DOI BibTeX RDF
16	Zsolt Lengvárszky	Distributive sublattices and weakly independent subsets in modular lattices.	Discret. Math.	1993	DBLP DOI BibTeX RDF
16	Brian A. Davey, Hilary A. Priestley	Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices.	Discret. Math.	1993	DBLP DOI BibTeX RDF
16	Uri N. Peled, Murali K. Srinivasan	Poset matching - a distributive analog of independent matching.	Discret. Math.	1993	DBLP DOI BibTeX RDF
16	Wafaa Khalil, Robert F. C. Walters	An Imperative Language Based on Distributive Categories II.	RAIRO Theor. Informatics Appl.	1993	DBLP DOI BibTeX RDF
16	Soon Myoung Chung, Jaerheen Yang	Distributive Join Algorithm for Shared-Memory Multiprocessors.	SAC	1993	DBLP DOI BibTeX RDF
16	Dana Pardubská	On the Power of Communication Structure for Distributive Generation of Languages.	Developments in Language Theory	1993	DBLP BibTeX RDF
16	Soon Myoung Chung, Jaerheen Yang	Distributive Join Algorithm for Cube-Connected Multiprocessors.	DASFAA	1993	DBLP BibTeX RDF
16	Robert F. C. Walters	An Imperative Language Based on Distributive Categories.	Math. Struct. Comput. Sci.	1992	DBLP DOI BibTeX RDF
16	Jizhong Shen	Fuzzifying Topological Groups Based on Completely Distributive Residuated Lattice-Valued Logic (I).	ISMVL	1992	DBLP DOI BibTeX RDF
16	Chris C. Handley	A Space Efficient Distributive Sort.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
16	Moni Naor	A Lower Bound on Probabilistic Algorithms for Distributive Ring Coloring.	SIAM J. Discret. Math.	1991	DBLP DOI BibTeX RDF
16	George Georgescu	F-Multipliers and the Localization of Distributive Lattices II.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
16	Jean Paul Bordat	Efficient polynomial algorithms for distributive lattices.	Discret. Appl. Math.	1991	DBLP DOI BibTeX RDF
16	Takayuki Hibi	Linear and nonlinear inequalities concerning a certain combinatorial sequence which arises from counting the number of chains of a finite distributive lattice.	Discret. Appl. Math.	1991	DBLP DOI BibTeX RDF
16	Andrzej Sendlewski	Topologicality of Kleene Algebras With a Weak Pseudocomplementation Over Distributive P-Algebras.	Reports Math. Log.	1991	DBLP BibTeX RDF
16	Rudolf Wille	The skeletons of free distributive lattices.	Discret. Math.	1991	DBLP DOI BibTeX RDF
16	Roberto Cignoli	Quantifiers on distributive lattices.	Discret. Math.	1991	DBLP DOI BibTeX RDF
16	Peter Luksch 0002	Distributive lattices freely generated by an ordered set of width two.	Discret. Math.	1991	DBLP DOI BibTeX RDF
16	Gerhard Gierz, Ferdinand Hergert	The bandwidth problem for distributive lattices of breadth 3.	Discret. Math.	1991	DBLP DOI BibTeX RDF
16	Walter Cunto, Gaston H. Gonnet, J. Ian Munro, Patricio V. Poblete	Fringe Analysis for Extquick: An in Situ Distributive External Sorting Algorithm	Inf. Comput.	1991	DBLP DOI BibTeX RDF
16	Mauro Negri, Giuseppe Pelagatti	Distributive Join: A New Algorithm for Joining Relations.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	merging scan, nested scan, sort, hashing, buffer, join
16	Chinatsu Aone	Resolution of Collective-Distributive Ambiguity Using Model-Based Reasoning.	ACL	1991	DBLP BibTeX RDF
16	Liu Wang-Jin	On some systems of simultaneous equations in a completely distributive lattice.	Inf. Sci.	1990	DBLP DOI BibTeX RDF
16	Mai Gehrke, Matt Insall, Klaus Kaiser	Some nonstandard methods applied to distributive lattices.	Math. Log. Q.	1990	DBLP DOI BibTeX RDF
16	Donald G. Saari	On the design of complex organizations and distributive algorithms.	J. Complex.	1990	DBLP DOI BibTeX RDF
16	Shimon Even, Yachin Pnueli	How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
16	A. Inkeri Verkamo	Performance comparison of distributive and mergesort as external sorting algorithms.	J. Syst. Softw.	1989	DBLP DOI BibTeX RDF
16	Gary A. Hyslop, Edmund A. Lamagna	Performance of Distributive Partitioned Sort in a Demand Paging Environment.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
16	M. T. Noga	Sorting in Parallel by Double Distributive Partitioning.	BIT	1987	DBLP DOI BibTeX RDF
16	M. van der Nat	Expected Time Complexity of a New Class of Distributive Partitioning Sort Algorithms.	Angew. Inform.	1987	DBLP BibTeX RDF
16	Michael B. Kac, Alexis Manaster-Ramer, William C. Rounds	Simultaneous-Distributive Coordination and Context-Freeness.	Comput. Linguistics	1987	DBLP BibTeX RDF
16	Jeff Kahn 0001, Michael E. Saks	On the widths of finite distributive lattices.	Discret. Math.	1987	DBLP DOI BibTeX RDF
16	Dan Gusfield, Robert W. Irving, Paul Leather, Michael E. Saks	Every finite distributive lattice is a set of stable matchings for a small stable marriage instance.	J. Comb. Theory, Ser. A	1987	DBLP DOI BibTeX RDF
16	Ephraim Korach, Shlomo Moran, Shmuel Zaks	The Optimality of Distributive Constructions of Minimum Weight and Degree Restricted Spanning Trees in a Complete Network of Processors.	SIAM J. Comput.	1987	DBLP DOI BibTeX RDF
16	Nathan Linial	Distributive Graph Algorithms-Global Solutions from Local Data	FOCS	1987	DBLP DOI BibTeX RDF
16	Chris C. Handley	An in Situ Distributive Sort.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
16	C. A. Johnson	Distributive Ideals and Partition Relations.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
16	Ulrich Faigle, Bill Sands	A size-width inequality for distributive lattices.	Comb.	1986	DBLP DOI BibTeX RDF
16	M. van der Nat, Alex A. Verrijn-Stuart	Analysing a Class of Distributive Partitioning Sort Algorithms.	Sci. Comput. Program.	1986	DBLP DOI BibTeX RDF
16	Harry B. Hunt III, Richard Edwin Stearns	Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).	STACS	1986	DBLP DOI BibTeX RDF
16	Volker Weispfenning	Quantifier Elimination for Distributive Lattices and Measure Algebras.	Math. Log. Q.	1985	DBLP DOI BibTeX RDF
16	Hanamantagouda P. Sankappanavar	Distributive Lattices with a Dual Endomorphism.	Math. Log. Q.	1985	DBLP DOI BibTeX RDF
16	Philip J. Janus, Edmund A. Lamagna	An Adaptive Method for Unknown Distributions in Distributive Partitioned Sorting.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF