The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase DL-algebras (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1950-1969 (20) 1970-1972 (18) 1973-1974 (19) 1975-1977 (31) 1978-1979 (29) 1980 (24) 1981 (26) 1982 (23) 1983 (32) 1984 (26) 1985 (36) 1986 (28) 1987 (53) 1988 (61) 1989 (46) 1990 (61) 1991 (78) 1992 (62) 1993 (82) 1994 (71) 1995 (74) 1996 (86) 1997 (95) 1998 (119) 1999 (106) 2000 (144) 2001 (152) 2002 (121) 2003 (144) 2004 (198) 2005 (212) 2006 (250) 2007 (228) 2008 (252) 2009 (246) 2010 (176) 2011 (200) 2012 (180) 2013 (168) 2014 (145) 2015 (182) 2016 (167) 2017 (189) 2018 (202) 2019 (218) 2020 (205) 2021 (222) 2022 (193) 2023 (197) 2024 (50)
Publication types (Num. hits)
article(4028) book(13) incollection(46) inproceedings(1810) phdthesis(48) proceedings(2)
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
135Xiao-hong Zhang 0001, Wei Hua Li On pseudo-BL algebras and BCC-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
134Roberto Cignoli, Antoni Torrens Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras
124Carles Noguera, Francesc Esteva, Joan Gispert Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Search on Bibsonomy Arch. Math. Log. The full citation details ... 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
113Andrew U. Frank One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole. Search on Bibsonomy COSIT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models
107Paul Flondor, George Georgescu, Afrodita Iorgulescu Pseudo-t-norms and pseudo-BL algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
99Franco Montagna, Luca Spada Continuous approximations of product implication in MV-algebras with product. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-algebras, MV-algebras
99Afrodita Iorgulescu On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
97Anatolij Dvurecenskij, Thomas Vetterlein Algebras in the Positive Cone of po-Groups. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cone algebras, generalized effect algebras, po-groups, positive minimal clans, pseudoeffect algebras, semiclans, BCK-algebras
84Stefano Aguzzoli, Simone Bova, Vincenzo Marra Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras
82Thomas Vetterlein BL-algebras and effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra
81Costas A. Drossos Nonstandard methods in many-valued logics. Search on Bibsonomy Soft Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF free MV-algebras, semisimplicity, superstructures, infinitesimals, hyperfinite MV-algebras, stochastic MV-algebras, MV-algebras, internal, external, Rad
79Laurentiu Leustean Sheaf representations of BL-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska Lattice-Based Relation Algebras and Their Representability. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
78Manuel Abad, J. Patricio Díaz Varela Factor congruences in BCK -algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
72Zdenka Riecanová, Ivica Marinová, Michal Zajac 0004 Some Aspects of Lattice and Generalized Prelattice Effect Algebras. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Antonio Di Nola, Mirko Navara Cantor-Bernstein Property for MV-Algebras. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Petr Cintula A note to the definition of the **-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
72Kioshi Shirayanagi On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
72Markus Bläser Lower bounds for the bilinear complexity of associative algebras. Search on Bibsonomy Comput. Complex. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Associative algebras, lower bound, rank, matrix multiplication, substitution method, bilinear complexity
70Tarek Sayed Ahmed On Amalgamation in Algebras of Logic. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation
69Rodica Ceterchi Weak pseudo-Wajsberg and weak pseudo-MV algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Wajsberg algebras, pseudo-Wajsberg algebras, MV algebras, pseudo-MV algebras
69Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna Basic Hoops: an Algebraic Study of Continuous t -norms. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basic hoops, continuous t-norms, subreducts of BL-algebras
68Fé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 Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Jan Reiterman, Vera Trnková From Dynamic Algebras to Test Algebras. Search on Bibsonomy MFCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
67Miklós Ferenczi Finitary Polyadic Algebras from Cylindric Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polyadic algebras, cylindric algebras
65Jirí Rachunek, Dana Salounová Monadic GMV-algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
65J. Patricio Díaz Varela, Antoni Torrens Torrell Decomposability of free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
65Joel Berman, Willem J. Blok Free Lukasiewicz and Hoop Residuation Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
65Peter Buchholz 0001, Peter Kemper Quantifying the Dynamic Behavior of Process Algebras. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process algebras, bisimulation, congruence, semiring
64Yun Shang Ring-like structures corresponding to pseudo MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Non-commutative pseudorings, Strong pseudo De Morgan algebras, Pseudo MV-algebras
63Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu Cartesian product of compressible effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product
61Pavel S. Kolesnikov Associative Algebras Related to Conformal Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary: 16S32, Secondary: 16W30, 18D50
61Radomír Halas The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lattice effect algebra, basic algebra, antitone involution, variety
61Xiao-hong Zhang 0001 Rough Algebras and Fuzzy Logic Algebras. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Zdenka Riecanová Embeddings of generalized effect algebras into complete effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Yoshihiro Maruyama A Duality for Algebras of Lattice-Valued Modal Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Nick Bezhanishvili, Mai Gehrke Free Heyting Algebras: Revisited. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Esko Turunen Semi-Boolean and Hyper-Archimedean BL -Algebras. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, BL-algrebra, MV-algebra
58Antonio Di Nola, Mirko Navara MV-Algebras with the Cantor-Bernstein Property. Search on Bibsonomy IFSA (2) The full citation details ... 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
58Tom Lada, Martin Markl Symmetric Brace Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF brace algebra, strongly homotopy structure, gauge algebra
58Björn Vormbrock, Rudolf Wille Semiconcept and Protoconcept Algebras: The Basic Theorems. Search on Bibsonomy Formal Concept Analysis The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
58Steve Chien, Alistair Sinclair Algebras with Polynomial Identities and Computing the Determinant. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Tobias Nipkow Unification in Primal Algebras, Their Powers and Their Varieties Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
58Joan Gispert, Antoni Torrens Boolean representation of bounded BCK-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation
58Slawomir Lasota 0001 Behavioural Constructor Implementation for Regular Algebras. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
57Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu Monadic Curry Algebras Q tau. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
57Roberto Cignoli, Luiz Monteiro Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Moisil -?ukasiewicz algebras, ?ukasiewicz many-valued logics, Boolean spaces, subalgebras, MV-algebras
57Barbara König 0001, Ugo Montanari, Philippa Gardner 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2004 DBLP  BibTeX  RDF
56Boris A. Romov Polynomial Completeness Criteria in Finite Boolean Algebras. Search on Bibsonomy ISMVL The full citation details ... 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
56Jirí Rachunek, Filip Svrcek Monadic Bounded Commutative Residuated l-monoids. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
55Giulio Manzonetto, Antonino Salibra From lambda-Calculus to Universal Algebra and Back. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
54George Georgescu, Andrei Popescu 0001 A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06D35, 03G20, 06F15
54Vaughan R. Pratt Dynamic algebras as a well-behaved fragment of relation algebras. Search on Bibsonomy Algebraic Logic and Universal Algebra in Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
54Peter Jipsen From Semirings to Residuated Kleene Lattices. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
53George Voutsadakis Categorical Abstract Algebraic Logic: Algebraizable Institutions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 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
51Stefan Milius, Thorsten Palm, Daniel Schwencke Complete Iterativity for Algebras with Effects. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
51Ewa Orlowska, Ingrid Rewitzky Context Algebras, Context Frames, and Their Discrete Duality. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF duality via truth, attribute dependency, context, formal concept analysis, Duality, concept, implication, representation theorem
51T. S. Blyth, Jie Fang Congruence Coherent Symmetric Extended de Morgan Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF congruence coherent, extended de Morgan algebra
51Markus Bläser, Andreas Meyer de Voltaire Semisimple Algebras of Almost Minimal Rank over the Reals. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Roger D. Maddux Finite Symmetric Integral Relation Algebras with No 3-Cycles. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Giulio Manzonetto, Antonino Salibra Boolean Algebras for Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Francesc Esteva, Lluís Godo Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Klaus Denecke, S. Radelecki, Ch. Ratanaprasert On Constantive Simple and Order-Primal Algebras. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 08B05, 06A11, 06A06
51Antonio Di Nola, Ada Lettieri Finiteness based results in BL-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF BL-comet, Strong duality, Duality, BL-algebra
51Thomas Vetterlein Partial algebras for Lukasiewicz logics and its extensions. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Alasdair Urquhart Duality Theory for Projective Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51M. Aguiar Infinitesimal Hopf Algebras and the cd-Index of Polytopes. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Mojgan Mahmoudi, M. Mehdi Ebrahimi Purity and Equational Compactness of Projection Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 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
51Ioana Leustean Local pseudo MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF l-group, Local pseudo MV-algebra, Perfect pseudo MV-algebra, Pseudo MV-algebra
51Esko Turunen Boolean deductive systems of BL-algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice
51Lynne Baur Cardinal Functions on Initial Chain Algebras on Pseudotrees. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF cardinal function, cardinal invariant, initial chain algebra, interval algebra
51Dexter Kozen On Kleene Algebras and Closed Semirings. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Manfred Broy, Martin Wirsing Generalized Heterogeneous Algebras and Partial Interpretations. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
51Tarek Sayed Ahmed On Complete Representations of Reducts of Polyadic Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polyadic algebras, complete representations, Algebraic logic
51Eloy Renedo, Enric Trillas, Claudi Alsina On the law (a·b')'=b+a'·b' in de Morgan algebras and orthomodular lattices. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF de Morgan Algebras, Orthomodular lattices, Elkan''s law, Lattices
51Markus Bläser Algebras of Minimal Rank over Perfect Fields. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algebras of minimal rank, multiplication, bilinear complexity
51Marco Grandis, John MacDonald Homotopy Structures for Algebras over a Monad. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 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
50Jianhua Dai, Xiaochun Liu Rough 3-Valued Lukasiewicz Agebras and MV-Algebras. Search on Bibsonomy RSKT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rough 3-valued ?ukasiewicz algebras, Rough sets, MV- algebras
50Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla Abelian l -Groups with Strong Unit and Perfect MV-Algebras. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Perfect MV-algebras, MV-algebras, Lattice-ordered groups
50Willem A. de Graaf, Gábor Ivanyos, A. Küronya, Lajos Rónyai Computing Levi Decompositions in Lie algebras. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Associative algebras, Complexity, Decomposition, Symbolic computations, Lie algebras, Radical
47Jonas Månsson, Patrik Nordbeck A generalized Ufnarovski graph. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata
47George Voutsadakis Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Search on Bibsonomy Arch. Math. Log. The full citation details ... 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
47Afrodita Iorgulescu Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Search on Bibsonomy Soft Comput. The full citation details ... 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
47Ewa Orlowska, Ingrid Rewitzky Discrete Duality for Relation Algebras and Cylindric Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Rudolf Wille Preconcept Algebras and Generalized Double Boolean Algebras. Search on Bibsonomy ICFCA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Zdenka Riecanová Sub-effect algebras and Boolean sub-effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
47Barbara 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 Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2005 DBLP  BibTeX  RDF
47Paolo Baldan, Barbara König 0001, Arend Rensink Summary 2: Graph Grammar Verification through Abstraction. Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2004 DBLP  BibTeX  RDF
47Pawel Sobocinski 0001 Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2004 DBLP  BibTeX  RDF
47Roberto Bruni, Ivan Lanese Summary 3: On Graph(ic) Encodings. Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2004 DBLP  BibTeX  RDF
44Michal Botur, Ivan Chajda, Radomír Halas Are basic algebras residuated structures? Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
44Majid Alizadeh Completions of Basic Algebras. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
44Robert Wisbauer Algebras Versus Coalgebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30
44Lianzhen Liu, Xiangyang Zhang States on R0 algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF R 0 algebra, MV algebra, State
44J. Patricio Díaz Varela Free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
44Michael Brough, Bakhadyr Khoussainov, Peter Nelson Sequential Automatic Algebras. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Björn Vormbrock A Solution of the Word Problem for Free Double Boolean Algebras. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Joel Berman, Willem J. Blok Algebras Defined from Ordered Sets and the Varieties they Generate. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
44Rachid El Harti, Gábor Lukács Bounded and Unitary Elements in Pro-C*-algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
44Jan Jakubik Weak (m, n)-distributivity of lattice ordered groups and of generalized MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license