|
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(4), pp. 373-384, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 65-77, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 194-206, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 111-131, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 19(1), pp. 51-85, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 73(2), pp. 99-119, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1081-1089, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 201-216, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(2), pp. 12, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(4), pp. 311-328, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(1), pp. 13-29, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 19(4), pp. 475-491, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 13(2), pp. 151-169, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(2), pp. 127-137, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(1), pp. 49-60, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(2), pp. 194-198, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Kenneth A. Ross, Divesh Srivastava, Damianos Chatziantoniou |
Complex Aggregation at Multiple Granularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings, pp. 263-277, 1998, Springer, 3-540-64264-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
49 | Marcel Erné, Dongsheng Zhao |
Z-Join Spectra of Z-Supercompactly Generated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 41-63, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 3542-3546, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Brian A. Davey, Miroslav Haviar, Hilary A. Priestley |
Boolean Topological Distributive Lattices and Canonical Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(3), pp. 225-241, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 829-833, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 123-137, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 51(2), pp. 161-171, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(2-3), pp. 305-337, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(3), pp. 229-238, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal concept analysis, implications, distributive lattices |
44 | David Kruml |
Distributive Quantales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(6), pp. 561-566, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
algebraic quantale, spatial quantale, distributive quantale, prime |
44 | Jürg Schmid |
Quasiorders and Sublattices of Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(1), pp. 11-34, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 714-, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(1), pp. 52-65, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quotient cube, OLAP, incremental maintenance |
41 | Nic Wilson |
A logic of soft constraints based on partially ordered preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 12(4-5), pp. 241-262, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers, pp. 357-368, 2003, Springer, 3-540-20895-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 34-48, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
iterative algebra, terminal coalgebra, monad, initial algebra, distributive law |
38 | Jeremy E. Dawson |
Compound monads in specification languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 3-10, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 31-70, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 242-247, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 854-859, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Hans Bruun, Dion Coumans, Mai Gehrke |
Distributive Lattice-Structured Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 267-283, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Chang-Jiang Liu, Fang Hao |
Distributive Justice and Cooperation in a Public Good Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 87-90, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Yalin Zheng, Guang Yang 0002, Jing Zheng, Jinsheng Xing |
Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 386-390, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Gui-ying Chen |
Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 235-237, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Mohammad Al-Shurman, Seong-Moo Yoo, Bonam Kim |
Distributive Key Management for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2008 International Conference on Multimedia and Ubiquitous Engineering (MUE 2008), 24-26 April 2008, Busan, Korea, pp. 533-536, 2008, IEEE Computer Society, 978-0-7695-3134-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers, pp. 45-57, 2005, Springer, 978-3-540-75143-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Li-Xia Song |
On Nilpotent Matrices over Bounded Distributive Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Second International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2009, January 23-25, 2009, Moscow, Russia, pp. 51-53, 2009, IEEE Computer Society, 978-0-7695-3579-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(3), pp. 361-390, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Wilmari Morton, Clint J. van Alten |
Distributive and completely distributive lattice extensions of ordered sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 28(3), pp. 521-541, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Tatyana Ivanova, Dimiter Vakarelov |
Distributive mereotopology: extended distributive contact lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 77(1-2), pp. 3-41, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Sergio A. Celani, Ismael Calomino |
On homomorphic images and the free distributive lattice extension of a distributive nearlattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 51, pp. 57-73, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 298, pp. 22-35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Funda Karaçal, Djavvat Khadjiev |
Distributive and infinitely-distributive t-norms on complete lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 151(2), pp. 341-352, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 19-35, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
31 | Dominique Bourn |
Congruence Distributivity in Goursat and Mal'cev Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(2), pp. 101-111, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(3), pp. 399-414, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Michael Reeves, Jihan Zhu |
Moomba - A Collaborative Environment for Supporting Distributed Extreme Programming in Global Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings, pp. 38-50, 2004, Springer, 3-540-22137-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CSCW, coordination, groupware, awareness, eXtreme Programming, distributed teams |
31 | Bernhard Schwarz |
The Complexity of Satisfiability Problems over Finite Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 31-43, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska |
Lattice-Based Relation Algebras and Their Representability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers, pp. 231-255, 2003, Springer, 3-540-20780-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Rajab Ali Borzooei, Mahmood Bakhshi, Mashaallah Mashinchi |
Lattice structure on some fuzzy algebraic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(8), pp. 739-749, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(6), pp. 34:1-34:34, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 333-349, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(2), pp. 121-130, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Priestley space, ultrafilter, coproduct, distributive lattice |
28 | Jon A. Sjogren |
Principal Rings and their Invariant Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 14(4), pp. 287-328, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers, pp. 86-100, 2003, Springer, 3-540-26003-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(1), pp. 73-100, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(2), pp. 129-139, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 992-1030, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 266-269, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 581-587, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(3), pp. 455-499, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 227-241, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Michael Winter 0001 |
Complements in Distributive Allegories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 337-350, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Mahbobeh Hosseinyazdi |
The optimization problem over a distributive lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(2), pp. 283-298, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(3), pp. 263-276, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 629-635, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(5), pp. 1605-1609, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Barbara Sorensen, Judith Riess, Eric Allely |
Distributive Medical Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Universal Access in Human-Computer Interaction. Applications and Services, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III, pp. 979-989, 2007, Springer, 978-3-540-73282-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C5 ![In: Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 2007), 24-26 January 2007, Kyoto, Japan, pp. 145-152, 2007, IEEE Computer Society, 978-0-7695-2806-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4027-4034, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Ganter, Léonard Kwuida |
Finite Distributive Concept Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 235-248, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G25, 06B15, 03G10 |
26 | Jürg Schmid |
Bialgebraic Contexts for Distributive Lattices - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings, pp. 403-407, 2005, Springer, 3-540-24525-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Ganter |
Congruences of Finite Distributive Concept Algebras. ![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. 128-141, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joonseon Ahn, Yong Jin Kwon |
A Differential Fixpoint Evaluation Framework for Non-distributive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 159-175, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 285-293, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Viorica Sofronie-Stokkermans |
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, pp. 235-250, 2002, Springer, 3-540-43929-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Viorica Sofronie-Stokkermans |
On Unification for Bonded Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 465-481, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 157-171, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Christian Fecht, Helmut Seidl |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 90-104, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Schmidt-Schauß |
An Algorithm for Distributive Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 287-301, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Ulrich Faigle |
The Bandwidth of Planar Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings, pp. 94-105, 1986, Springer, 3-540-17218-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Anvar M. Nurakunov, Michal M. Stronkowski |
Quasivarieties with Definable Relative Principal Subcongruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(1), pp. 109-120, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
2000 Mathematics Subject Classification 08C15, 08B10, 08A30 |
21 | Yoshihiro Maruyama |
A Duality for Algebras of Lattice-Valued Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 281-295, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Wojciech Buszkowski, Maciej Farulewski |
Nonassociative Lambek Calculus with Additives and Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Languages: From Formal to Natural ![In: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, pp. 45-58, 2009, Springer, 978-3-642-01747-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud |
Characterizing the Outcomes of Argumentation-Based Integrative Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, pp. 456-460, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Mikhail Sizintsev, Konstantinos G. Derpanis, Andrew Hogue |
Histogram-based search: A comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 446, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Bartek Klin |
Bialgebraic Operational Semantics and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 336-345, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Small Witnesses for Abstract Interpretation-Based Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 268-283, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Reppe |
An FCA Perspective on n -Distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 255-268, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Léonard Kwuida, Branimir Seselja, Andreja Tepavcevic |
On the MacNeille Completion of Weakly Dicomplemented Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 271-280, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 143-157, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|