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