|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1388 occurrences of 712 keywords
|
|
|
Results
Found 5947 publication records. Showing 5947 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | Xiao-hong Zhang 0001, Wei Hua Li |
On pseudo-BL algebras and BCC-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(10), pp. 941-952, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Normal filter, Pseudo-MV filter, Pseudo-G filter, BCC-algebras, Pseudo-BCK algebras, Weak pseudo-BL algebras, Pseudo-BL algebra, Boolean filter |
134 | Roberto Cignoli, Antoni Torrens |
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 157-181, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras |
124 | Carles Noguera, Francesc Esteva, Joan Gispert |
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(7), pp. 869-886, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bipartite algebras, Cancellative hoops, disconnected rotation, IMTL-algebras, local algebras, perfect algebras, prelinear semihoops, Wajsberg hoops, filters, many-valued logic, MV-algebras, Algebraizable logics |
113 | Andrew U. Frank |
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 95-107, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models |
107 | Paul Flondor, George Georgescu, Afrodita Iorgulescu |
Pseudo-t-norms and pseudo-BL algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 355-371, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Weak-BL algebra, Weak-pseudo-BL algebra, Pseudo- t -norm, Pseudo- t -conorm, Left continuity, Right continuity, MV algebra, t -norm, BL algebra, Pseudo-MV algebra, Pseudo-BL algebra, t -conorm |
99 | Franco Montagna, Luca Spada |
Continuous approximations of product implication in MV-algebras with product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(3), pp. 149-154, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
?-algebras, MV-algebras |
99 | Afrodita Iorgulescu |
On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(9), pp. 835-856, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra |
97 | Anatolij Dvurecenskij, Thomas Vetterlein |
Algebras in the Positive Cone of po-Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(2), pp. 127-146, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
cone algebras, generalized effect algebras, po-groups, positive minimal clans, pseudoeffect algebras, semiclans, BCK-algebras |
84 | Stefano Aguzzoli, Simone Bova, Vincenzo Marra |
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 1-15, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras |
82 | Thomas Vetterlein |
BL-algebras and effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(8), pp. 557-564, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra |
81 | Costas A. Drossos |
Nonstandard methods in many-valued logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 2(3), pp. 129-133, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
free MV-algebras, semisimplicity, superstructures, infinitesimals, hyperfinite MV-algebras, stochastic MV-algebras, MV-algebras, internal, external, Rad |
79 | Laurentiu Leustean |
Sheaf representations of BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(12), pp. 897-909, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | 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 |
|
78 | Manuel Abad, J. Patricio Díaz Varela |
Factor congruences in BCK -algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(10), pp. 1007-1012, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras |
72 | Zdenka Riecanová, Ivica Marinová, Michal Zajac 0004 |
Some Aspects of Lattice and Generalized Prelattice Effect Algebras. ![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 II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers, pp. 290-317, 2006, Springer, 3-540-69223-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Antonio Di Nola, Mirko Navara |
Cantor-Bernstein Property for MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 107-118, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Petr Cintula |
A note to the definition of the **-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(8), pp. 575-578, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Kioshi Shirayanagi |
On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 106-111, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
72 | Markus Bläser |
Lower bounds for the bilinear complexity of associative algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 9(2), pp. 73-112, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Associative algebras, lower bound, rank, matrix multiplication, substitution method, bilinear complexity |
70 | Tarek Sayed Ahmed |
On Amalgamation in Algebras of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(1), pp. 61-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation |
69 | Rodica Ceterchi |
Weak pseudo-Wajsberg and weak pseudo-MV algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 334-346, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Wajsberg algebras, pseudo-Wajsberg algebras, MV algebras, pseudo-MV algebras |
69 | Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna |
Basic Hoops: an Algebraic Study of Continuous t -norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 73-98, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
basic hoops, continuous t-norms, subreducts of BL-algebras |
68 | Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes |
On some properties of quasi-MV algebras and Ö{cent}\sqrt{^{\prime}} quasi-MV algebras. Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 341-352, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Jan Reiterman, Vera Trnková |
From Dynamic Algebras to Test Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, pp. 490-497, 1984, Springer, 3-540-13372-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
67 | Miklós Ferenczi |
Finitary Polyadic Algebras from Cylindric Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 1-11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Polyadic algebras, cylindric algebras |
65 | Jirí Rachunek, Dana Salounová |
Monadic GMV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(3), pp. 277-297, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05 |
65 | J. Patricio Díaz Varela, Antoni Torrens Torrell |
Decomposability of free Lukasiewicz implication algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(8), pp. 1011-1020, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
65 | Joel Berman, Willem J. Blok |
Free Lukasiewicz and Hoop Residuation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 153-180, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra |
65 | Peter Buchholz 0001, Peter Kemper |
Quantifying the Dynamic Behavior of Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 184-199, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
process algebras, bisimulation, congruence, semiring |
64 | Yun Shang |
Ring-like structures corresponding to pseudo MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(1), pp. 71-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-commutative pseudorings, Strong pseudo De Morgan algebras, Pseudo MV-algebras |
63 | Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu |
Cartesian product of compressible effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1115-1118, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product |
61 | Pavel S. Kolesnikov |
Associative Algebras Related to Conformal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 167-181, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary: 16S32, Secondary: 16W30, 18D50 |
61 | 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 |
61 | Xiao-hong Zhang 0001 |
Rough Algebras and Fuzzy Logic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 213-216, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Zdenka Riecanová |
Embeddings of generalized effect algebras into complete effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(6), pp. 476-482, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | 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 |
|
58 | Nick Bezhanishvili, Mai Gehrke |
Free Heyting Algebras: Revisited. ![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. 251-266, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Esko Turunen |
Semi-Boolean and Hyper-Archimedean BL -Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 419-426, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, BL-algrebra, MV-algebra |
58 | Antonio Di Nola, Mirko Navara |
MV-Algebras with the Cantor-Bernstein Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 861-868, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra |
58 | Tom Lada, Martin Markl |
Symmetric Brace Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(4), pp. 351-370, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
brace algebra, strongly homotopy structure, gauge algebra |
58 | Björn Vormbrock, Rudolf Wille |
Semiconcept and Protoconcept Algebras: The Basic Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Concept Analysis ![In: Formal Concept Analysis, Foundations and Applications, pp. 34-48, 2005, Springer, 3-540-27891-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Steve Chien, Alistair Sinclair |
Algebras with Polynomial Identities and Computing the Determinant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, pp. 352-361, 2004, IEEE Computer Society, 0-7695-2228-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Tobias Nipkow |
Unification in Primal Algebras, Their Powers and Their Varieties ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 37(4), pp. 742-776, October 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
58 | Joan Gispert, Antoni Torrens |
Boolean representation of bounded BCK-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(10), pp. 941-954, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation |
58 | Slawomir Lasota 0001 |
Behavioural Constructor Implementation for Regular Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 54-69, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence |
57 | Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu |
Monadic Curry Algebras Q tau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 893-900, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic |
57 | Roberto Cignoli, Luiz Monteiro |
Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(3), pp. 393-405, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Moisil -?ukasiewicz algebras, ?ukasiewicz many-valued logics, Boolean spaces, subalgebras, MV-algebras |
57 | Barbara König 0001, Ugo Montanari, Philippa Gardner |
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
56 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 262-266, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
56 | Jirí Rachunek, Filip Svrcek |
Monadic Bounded Commutative Residuated l-monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(2), pp. 157-175, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05 |
55 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 479-490, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra |
54 | George Georgescu, Andrei Popescu 0001 |
A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(8), pp. 947-981, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06D35, 03G20, 06F15 |
54 | Vaughan R. Pratt |
Dynamic algebras as a well-behaved fragment of relation algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Logic and Universal Algebra in Computer Science ![In: Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings, pp. 77-110, 1988, Springer, 3-540-97288-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
54 | Peter Jipsen |
From Semirings to Residuated Kleene Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 291-303, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test |
53 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(6), pp. 531-568, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
51 | 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 |
51 | Ewa Orlowska, Ingrid Rewitzky |
Context Algebras, Context Frames, and Their Discrete Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets IX, pp. 212-229, 2008, Springer, 978-3-540-89875-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
duality via truth, attribute dependency, context, formal concept analysis, Duality, concept, implication, representation theorem |
51 | T. S. Blyth, Jie Fang |
Congruence Coherent Symmetric Extended de Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 51-63, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
congruence coherent, extended de Morgan algebra |
51 | Markus Bläser, Andreas Meyer de Voltaire |
Semisimple Algebras of Almost Minimal Rank over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings, pp. 669-680, 2007, Springer, 978-3-540-74455-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Roger D. Maddux |
Finite Symmetric Integral Relation Algebras with No 3-Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 2-29, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Giulio Manzonetto, Antonino Salibra |
Boolean Algebras for Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 317-326, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Francesc Esteva, Lluís Godo |
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 127-137, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Klaus Denecke, S. Radelecki, Ch. Ratanaprasert |
On Constantive Simple and Order-Primal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(4), pp. 301-310, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 08B05, 06A11, 06A06 |
51 | Antonio Di Nola, Ada Lettieri |
Finiteness based results in BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(12), pp. 889-896, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
BL-comet, Strong duality, Duality, BL-algebra |
51 | Thomas Vetterlein |
Partial algebras for Lukasiewicz logics and its extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(7), pp. 913-933, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Alasdair Urquhart |
Duality Theory for Projective Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, pp. 33-47, 2005, Springer, 3-540-33339-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | M. Aguiar |
Infinitesimal Hopf Algebras and the cd-Index of Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 27(1), pp. 3-28, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Mojgan Mahmoudi, M. Mehdi Ebrahimi |
Purity and Equational Compactness of Projection Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 381-394, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence |
51 | Ioana Leustean |
Local pseudo MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 386-395, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
l-group, Local pseudo MV-algebra, Perfect pseudo MV-algebra, Pseudo MV-algebra |
51 | Esko Turunen |
Boolean deductive systems of BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(6), pp. 467-473, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice |
51 | Lynne Baur |
Cardinal Functions on Initial Chain Algebras on Pseudotrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 1-21, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cardinal function, cardinal invariant, initial chain algebra, interval algebra |
51 | Dexter Kozen |
On Kleene Algebras and Closed Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 26-47, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Manfred Broy, Martin Wirsing |
Generalized Heterogeneous Algebras and Partial Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 1-34, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
51 | Tarek Sayed Ahmed |
On Complete Representations of Reducts of Polyadic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 325-332, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polyadic algebras, complete representations, Algebraic logic |
51 | Eloy Renedo, Enric Trillas, Claudi Alsina |
On the law (a·b')'=b+a'·b' in de Morgan algebras and orthomodular lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(1), pp. 71-73, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
de Morgan Algebras, Orthomodular lattices, Elkan''s law, Lattices |
51 | Markus Bläser |
Algebras of Minimal Rank over Perfect Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 113-122, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
algebras of minimal rank, multiplication, bilinear complexity |
51 | Marco Grandis, John MacDonald |
Homotopy Structures for Algebras over a Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(3), pp. 227-260, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy |
50 | Jianhua Dai, Xiaochun Liu |
Rough 3-Valued Lukasiewicz Agebras and MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 30-37, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rough 3-valued ?ukasiewicz algebras, Rough sets, MV- algebras |
50 | Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla |
Abelian l -Groups with Strong Unit and Perfect MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(4), pp. 387-401, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Perfect MV-algebras, MV-algebras, Lattice-ordered groups |
50 | Willem A. de Graaf, Gábor Ivanyos, A. Küronya, Lajos Rónyai |
Computing Levi Decompositions in Lie algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(4), pp. 291-303, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Associative algebras, Complexity, Decomposition, Symbolic computations, Lie algebras, Radical |
47 | Jonas Månsson, Patrik Nordbeck |
A generalized Ufnarovski graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 16(5), pp. 293-306, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata |
47 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 473-491, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
47 | Afrodita Iorgulescu |
Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(4), pp. 313-327, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra |
47 | Ewa Orlowska, Ingrid Rewitzky |
Discrete Duality for Relation Algebras and Cylindric Algebras. ![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. 291-305, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Rudolf Wille |
Preconcept Algebras and Generalized Double Boolean 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. 1-13, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Zdenka Riecanová |
Sub-effect algebras and Boolean sub-effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 400-403, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra |
47 | Barbara König 0001, Ugo Montanari, Philippa Gardner (eds.) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![IBFI, Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
47 | Paolo Baldan, Barbara König 0001, Arend Rensink |
Summary 2: Graph Grammar Verification through Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
47 | Pawel Sobocinski 0001 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
47 | Roberto Bruni, Ivan Lanese |
Summary 3: On Graph(ic) Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
44 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 251-255, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice |
44 | Majid Alizadeh |
Completions of Basic Algebras. ![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. 72-83, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra |
44 | Robert Wisbauer |
Algebras Versus Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 255-295, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30 |
44 | Lianzhen Liu, Xiangyang Zhang |
States on R0 algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1099-1104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
R 0 algebra, MV algebra, State |
44 | J. Patricio Díaz Varela |
Free Lukasiewicz implication algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(1), pp. 25-33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
44 | Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
Sequential Automatic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 84-93, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Björn Vormbrock |
A Solution of the Word Problem for Free Double Boolean Algebras. ![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. 240-270, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Joel Berman, Willem J. Blok |
Algebras Defined from Ordered Sets and the Varieties they Generate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(1), pp. 65-88, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra |
44 | Rachid El Harti, Gábor Lukács |
Bounded and Unitary Elements in Pro-C*-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(2), pp. 151-164, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05 |
44 | Jan Jakubik |
Weak (m, n)-distributivity of lattice ordered groups and of generalized MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(2), pp. 119-124, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generalized MV-algebra, Weak -distributivity, Radical class, Lattice ordered group |
Displaying result #1 - #100 of 5947 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|