The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for distributive with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1978 (15) 1979-1982 (17) 1983-1985 (16) 1986-1987 (17) 1988-1991 (25) 1992-1993 (22) 1994-1995 (27) 1996-1997 (28) 1998-1999 (33) 2000 (25) 2001 (16) 2002 (32) 2003 (40) 2004 (45) 2005 (42) 2006 (54) 2007 (62) 2008 (57) 2009 (53) 2010 (29) 2011 (32) 2012 (28) 2013 (28) 2014 (26) 2015 (23) 2016 (37) 2017 (23) 2018 (30) 2019 (49) 2020 (27) 2021 (35) 2022 (32) 2023 (27) 2024 (9)
Publication types (Num. hits)
article(626) incollection(6) inproceedings(421) phdthesis(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 445 occurrences of 351 keywords

Results
Found 1061 publication records. Showing 1061 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
106Ying Jiang, Guo-Qiang Zhang 0001 Weakly distributive domains (II). Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
92Jacques Calmet, Peter Kullmann, Morio Taneda Composite Distributive Lattices as Annotation Domains for Mediators. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Dual Transform, Free Distributive Lattice Product, Mediator, Distributive Lattices, Annotated Logic, SLG Resolution
78Ying Jiang, Guo-Qiang Zhang 0001 Weakly Distributive Domains. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
77Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation The Jónsson-Kiefer Property. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Meet semi-distributive lattice, pseudo-complemented lattice, meet-prime element, join semi-distributive lattice, join-prime element
75Christian Ronse Reconstructing masks from markers in non-distributive lattices. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Geodesic dilation and reconstruction, Non-distributive lattices, Mathematical morphology
64Roman Wienands, Francisco José Gaspar, Francisco Javier Lisbona, Cornelis W. Oosterlee An Efficient Multigrid Solver based on Distributive Smoothing for Poroelasticity Equations. Search on Bibsonomy Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Poroelasticity, staggered discretization, distributive relaxation, local Fourier analysis, multigrid
64Kathryn C. Kinsley, Charles E. Hughes Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF database update schemes, performance evaluation, distributive systems, performance analysis, relational databases, distributed databases, distributed databases, concurrency control, queueing theory, queueing theory, database theory, relational model
54Michal Kozak Distributive Full Lambek Calculus Has the Finite Model Property. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice
54Viorica Sofronie-Stokkermans On unification for bounded distributive lattices. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving
54Elena Barcucci, Antonio Bernini, Luca Ferrari 0001, Maddalena Poneti A Distributive Lattice Structure Connecting Dyck Paths, Noncrossing Partitions and 312-avoiding Permutations. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dyck paths, noncrossing partitions, 312-avoiding permutations, Bell and Catalan numbers, strong Bruhat order, distributive lattice
54Peter Che Bor Lam, Heping Zhang A Distributive Lattice on the Set of Perfect Matchings of a Plane Bipartite Graph. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Z-transformation graph, plane bipartite graph, poset, perfect matching, distributive lattice
54Jonathan David Farley Quasi-Differential Posets and Cover Functions of Distributive Lattices II: A Problem in Stanley's Enumerative Combinatorics. Search on Bibsonomy Graphs Comb. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Differential poset, Fibonacci lattice, (partially) Ordered set, Cover function, Distributive lattice
54Soon Myoung Chung, Arindam Chatterjee Parallel Distributive Join Algorithm on the Intel Paragon. Search on Bibsonomy J. Supercomput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hybrid-hash join, Performance analysis, Parallel processing, Intel Paragon, Distributive join
54Soon Myoung Chung, Jaerheen Yang A Parallel Distributive Join Algorithm for Cube-Connected Multiprocessors. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF cube-connected processors, performance analysis, parallel processing, hashing join, Distributive join
53B. N. Waphare, Vinayak Joshi Characterizations of Standard Elements in Posets. Search on Bibsonomy Order The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributive pair, semi-distributive pair, modular pair, standard element, distributive element, ?-standard element and p-element
52J. Balasubramaniam 0001, C. Jagan Mohan Rao On the distributivity of implication operators over T and S norms. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Kenneth A. Ross, Divesh Srivastava, Damianos Chatziantoniou Complex Aggregation at Multiple Granularities. Search on Bibsonomy EDBT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Marcel Erné, Dongsheng Zhao Z-Join Spectra of Z-Supercompactly Generated Lattices. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF (Z-)below relation, (Z-super)compact, completely distributive lattice, (Z-)continuous posets, (Z-join) ideal completion, (Z-super)sober space, spectrum
47David Shui Wing Hui, Vincent K. N. Lau Distributive Delay-Sensitive Cross-Layer Design for OFDMA Systems. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Brian A. Davey, Miroslav Haviar, Hilary A. Priestley Boolean Topological Distributive Lattices and Canonical Extensions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06D05, Secondary 06B30, 06D50, 06B23, 03G10
47Djavvat Khadjiev, Funda Karaçal The Description of All V-Distributive Triangular Norms of Lengths 2 and 3. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Louis J. Billera, Samuel K. Hsiao, J. Scott Provan Enumeration in Convex Geometries and Associated Polytopal Subdivisions of Spheres. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract convexity, Quasisymmetric functions, Meet-distributive lattice, Join-distributive lattice
44Yu Hen Hu, Xiaohong Sheng Dynamic Sensor Self-Organization for Distributive Moving Target Tracking. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF moving target track, dynamic sensor clustering, wireless sensor network, distributive algorithm, self-organization, tasking
44Miki Tanaka, John Power Pseudo-distributive laws and axiomatics for variable binding. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
44Rudolf Wille Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal concept analysis, implications, distributive lattices
44David Kruml Distributive Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF algebraic quantale, spatial quantale, distributive quantale, prime
44Jürg Schmid Quasiorders and Sublattices of Distributive Lattices. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF quasiorder, sublattice, distributive lattice, representation theory
44Soon Myoung Chung, Arindam Chatterjee Performance Analysis of a Parallel Distributive Join Algorithm on the Intel Paragon. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Hybrid Hash join, Parallel Processing, Intel Paragon, Distributive join
41Cuiping Li 0001, Shan Wang 0001 Efficient Incremental Maintenance for Distributive and Non-Distributive Aggregate Functions. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quotient cube, OLAP, incremental maintenance
41Nic Wilson A logic of soft constraints based on partially ordered preferences. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
41Apostolos Syropoulos, Lefteris Mamatas, Peter C. Allilomes, Konstantinos T. Sotiriades A Distributed Simulation of Transition P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Javas Remote Method Invocation, Object-oriented programming and Simulation, Distributed Computing, P systems, Natural computation
38Stefan Milius, Thorsten Palm, Daniel Schwencke Complete Iterativity for Algebras with Effects. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
38Jeremy E. Dawson Compound monads in specification languages. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
38Marcel Erné Z-Continuous Posets and Their Topological Manifestation. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF closure space, completely distributive, continuous poset, sober space, completion, compact, core
38Viorica Sofronie-Stokkermans Representation Theorems and Theorem Proving in Non-Classical Logics. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics
36Lufeng Shi, Jindong Tan Distributive target tracking in sensor networks with a markov random field model. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Hans Bruun, Dion Coumans, Mai Gehrke Distributive Lattice-Structured Ontologies. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Chang-Jiang Liu, Fang Hao Distributive Justice and Cooperation in a Public Good Dilemma. Search on Bibsonomy CSSE (5) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Yalin Zheng, Guang Yang 0002, Jing Zheng, Jinsheng Xing Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Gui-ying Chen Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Mohammad Al-Shurman, Seong-Moo Yoo, Bonam Kim Distributive Key Management for Mobile Ad Hoc Networks. Search on Bibsonomy MUE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ad hoc networks, threshold cryptography, mobile security, symmetric key, MDS code
36Be Birchall Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras. Search on Bibsonomy TbiLLC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Li-Xia Song On Nilpotent Matrices over Bounded Distributive Lattice. Search on Bibsonomy IITSI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded distributive lattice, Nilpotent matrices, Prime filter, Directed graph
31Jun Tao Wang 0001, Yanhong She, Pengfei He 0001, Na Na Ma On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices. Search on Bibsonomy Stud Logica The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Luciano J. González The Free Distributive Semilattice Extension of a Distributive Poset. Search on Bibsonomy Order The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Wilmari Morton, Clint J. van Alten Distributive and completely distributive lattice extensions of ordered sets. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Tatyana Ivanova, Dimiter Vakarelov Distributive mereotopology: extended distributive contact lattices. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Sergio A. Celani, Ismael Calomino On homomorphic images and the free distributive lattice extension of a distributive nearlattice. Search on Bibsonomy Reports Math. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
31Funda Karaçal, Djavvat Khadjiev Internal direct product of integral V-distributive binary aggregation functions and the classification of all integral V-distributive binary aggregation functions of length 3. Search on Bibsonomy Inf. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Funda Karaçal, Djavvat Khadjiev Distributive and infinitely-distributive t-norms on complete lattices. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Radomír Halas The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lattice effect algebra, basic algebra, antitone involution, variety
31Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF denotational models, communicating sequential processes, nondeterminacy
31Dominique Bourn Congruence Distributivity in Goursat and Mal'cev Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF congruence distributivity, Goursat, Malcev and arithmetical category, preservation of intersections by direct image
31Stephen Binns, Stephen G. Simpson Embeddings into the Medvedev and Muchnik lattices of pi01classes. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Michael Reeves, Jihan Zhu Moomba - A Collaborative Environment for Supporting Distributed Extreme Programming in Global Software Development. Search on Bibsonomy XP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CSCW, coordination, groupware, awareness, eXtreme Programming, distributed teams
31Bernhard Schwarz The Complexity of Satisfiability Problems over Finite Lattices. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska Lattice-Based Relation Algebras and Their Representability. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Rajab Ali Borzooei, Mahmood Bakhshi, Mashaallah Mashinchi Lattice structure on some fuzzy algebraic systems. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Distributive (Modular) lattice, (BCC) BCK-algebra, Fuzzy (normal) subgroup, G-fuzzy subgroup, Fuzzy hyperideal
28Joseph M. Morris, Malcolm Tyrrell Dually nondeterministic functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
28Keith A. Kearnes Quasivarieties of Modules Over Path Algebras of Quivers. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quiver, path algebra, Quasivariety, distributive lattice
28Richard N. Ball, Ales Pultr, Jirí Sichler Configurations in Coproducts of Priestley Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Priestley space, ultrafilter, coproduct, distributive lattice
28Jon A. Sjogren Principal Rings and their Invariant Factors. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Bézoutian ring, Module capacity, Smith canonical form, Distributive semi-group lattice, Invariant basis property
28Alexander Kleymenov, Alexander Semenov Using a Cooperative Solving Approach to Global Optimization Problems. Search on Bibsonomy COCOS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations
28Nathan Reading Order Dimension, Strong Bruhat Order and Lattice Properties for Posets. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
28Branimir Seselja, Andreja Tepavcevic Collection of Finite Lattices Generated by a Poset. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF finite distributive lattice, finite lattice, meet-irreducible, representation of lattices
28Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
28Stan Y. Li Relaxation labeling using Lagrange-Hopfield method. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Lagrange-Hopfield method, relaxation labeling algorithm, Lagrangian multiplier method, graded Hopfield neural network, optimized objective value, analog implementation, parallel iterative numerical procedures, parallel algorithms, image processing, distributive algorithm, optimisation, image analysis, iterative methods, experimental results, solution, Hopfield neural nets, constrained optimization problem
28Svante Carlsson, Jyrki Katajainen, Jukka Teuhola In-place Linear Probing Sort. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Distributive sorting, Sorting, Analysis of algorithm, Average-case analysis
26Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Recognizable tree series, Rational tree series, Multioperator monoids, Semirings
26Yasuo Kawahara, Michael Winter 0001 Cardinal Addition in Distributive Allegories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Michael Winter 0001 Complements in Distributive Allegories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Mahbobeh Hosseinyazdi The optimization problem over a distributive lattice. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06Dxx, 34A30, 20M14, 16Y60
26Vincenzo Marra A characterization of MV-algebras free over finite distributive lattices. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) Primary 06D35, Secondary 06F20
26Mohamad Iskandar Petra, David J. Holding, Peter N. Brett Implementation of Hardwired Distributive Tactile Sensing for Innovative Flexible Digit. Search on Bibsonomy BMEI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Hsiao-Chun Wu, Yiyan Wu 0001 Distributive Pilot Arrangement Based on Modified M-sequences for OFDM Intercarrier Interference Estimation. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Barbara Sorensen, Judith Riess, Eric Allely Distributive Medical Management System. Search on Bibsonomy HCI (7) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF medical skills training, training management, remote treatment, First responder
26Masaaki Ohnishi, Shinji Tsuboi, Masao Hirayama, Takayuki Eguchi, Shinichi Ueshima Distributive Generation Algorithm of Long Range Contact for Remote Spatial-data Access on P2P Delaunay Network. Search on Bibsonomy C5 The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26U. Pattananupong, Nachol Chaiyaratana, R. Tongpadungrod Genetic programming and neural networks as interpreters for a distributive tactile sensing system. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Bernhard Ganter, Léonard Kwuida Finite Distributive Concept Algebras. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03G25, 06B15, 03G10
26Jürg Schmid Bialgebraic Contexts for Distributive Lattices - Revisited. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Bernhard Ganter Congruences of Finite Distributive Concept Algebras. Search on Bibsonomy ICFCA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Joonseon Ahn, Yong Jin Kwon A Differential Fixpoint Evaluation Framework for Non-distributive Systems. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
26James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal Inference for Annotated Logics over Distributive Lattices. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Viorica Sofronie-Stokkermans On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Viorica Sofronie-Stokkermans On Unification for Bonded Distributive Lattices. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Viorica Sofronie-Stokkermans On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Christian Fecht, Helmut Seidl Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Manfred Schmidt-Schauß An Algorithm for Distributive Unification. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Ulrich Faigle The Bandwidth of Planar Distributive Lattices. Search on Bibsonomy WG The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
21Anvar M. Nurakunov, Michal M. Stronkowski Quasivarieties with Definable Relative Principal Subcongruences. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 2000 Mathematics Subject Classification 08C15, 08B10, 08A30
21Yoshihiro Maruyama A Duality for Algebras of Lattice-Valued Modal Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Wojciech Buszkowski, Maciej Farulewski Nonassociative Lambek Calculus with Additives and Context-Free Languages. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud Characterizing the Outcomes of Argumentation-Based Integrative Negotiation. Search on Bibsonomy IAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Mikhail Sizintsev, Konstantinos G. Derpanis, Andrew Hogue Histogram-based search: A comparative study. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Eric Tze Kuan Lim, Yu-Ting Caisy Hung Understanding the Relationship between Justice and Team Goal Commitment in Virtual Project Teams: An Empirical Investigation. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Bartek Klin Bialgebraic Operational Semantics and Modal Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin Small Witnesses for Abstract Interpretation-Based Proofs. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Heiko Reppe An FCA Perspective on n -Distributivity. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Léonard Kwuida, Branimir Seselja, Andreja Tepavcevic On the MacNeille Completion of Weakly Dicomplemented Lattices. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MacNeille completion, weakly dicomplemneted lattices, Formal Concept Analysis
21Nick Bezhanishvili, Alexander Kurz 0001 Free Modal Algebras: A Coalgebraic Perspective. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1061 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license