|
|
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. |
Soft Comput. |
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. |
Stud Logica |
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. |
Arch. Math. Log. |
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. |
COSIT |
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. |
Soft Comput. |
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. |
Soft Comput. |
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. |
Soft Comput. |
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. |
Order |
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. |
LFCS |
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. |
Soft Comput. |
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. |
Soft Comput. |
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. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
79 | Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska |
Lattice-Based Relation Algebras and Their Representability. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
|
78 | Manuel Abad, J. Patricio Díaz Varela |
Factor congruences in BCK -algebras. |
Soft Comput. |
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. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Antonio Di Nola, Mirko Navara |
Cantor-Bernstein Property for MV-Algebras. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Petr Cintula |
A note to the definition of the **-algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Kioshi Shirayanagi |
On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
72 | Markus Bläser |
Lower bounds for the bilinear complexity of associative algebras. |
Comput. Complex. |
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. |
Stud Logica |
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. |
Soft Comput. |
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. |
Stud Logica |
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. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Jan Reiterman, Vera Trnková |
From Dynamic Algebras to Test Algebras. |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
67 | Miklós Ferenczi |
Finitary Polyadic Algebras from Cylindric Algebras. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Polyadic algebras, cylindric algebras |
65 | Jirí Rachunek, Dana Salounová |
Monadic GMV-algebras. |
Arch. Math. Log. |
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. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
65 | Joel Berman, Willem J. Blok |
Free Lukasiewicz and Hoop Residuation Algebras. |
Stud Logica |
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. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
process algebras, bisimulation, congruence, semiring |
64 | Yun Shang |
Ring-like structures corresponding to pseudo MV-algebras. |
Soft Comput. |
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. |
Soft Comput. |
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. |
Appl. Categorical Struct. |
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. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Lattice effect algebra, basic algebra, antitone involution, variety |
61 | Xiao-hong Zhang 0001 |
Rough Algebras and Fuzzy Logic Algebras. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Zdenka Riecanová |
Embeddings of generalized effect algebras into complete effect algebras. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Yoshihiro Maruyama |
A Duality for Algebras of Lattice-Valued Modal Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Nick Bezhanishvili, Mai Gehrke |
Free Heyting Algebras: Revisited. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Esko Turunen |
Semi-Boolean and Hyper-Archimedean BL -Algebras. |
IFSA (1) |
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. |
IFSA (2) |
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. |
Appl. Categorical Struct. |
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. |
Formal Concept Analysis |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Steve Chien, Alistair Sinclair |
Algebras with Polynomial Identities and Computing the Determinant. |
FOCS |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Tobias Nipkow |
Unification in Primal Algebras, Their Powers and Their Varieties |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
58 | Joan Gispert, Antoni Torrens |
Boolean representation of bounded BCK-algebras. |
Soft Comput. |
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. |
LPAR |
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. |
KES (2) |
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. |
Stud Logica |
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. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
56 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. |
ISMVL |
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. |
Order |
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. |
MFCS |
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. |
Arch. Math. Log. |
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. |
Algebraic Logic and Universal Algebra in Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
54 | Peter Jipsen |
From Semirings to Residuated Kleene Lattices. |
Stud Logica |
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. |
Appl. Categorical Struct. |
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. |
CALCO |
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. |
Trans. Rough Sets |
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. |
Stud Logica |
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. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Roger D. Maddux |
Finite Symmetric Integral Relation Algebras with No 3-Cycles. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Giulio Manzonetto, Antonino Salibra |
Boolean Algebras for Lambda Calculus. |
LICS |
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. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Klaus Denecke, S. Radelecki, Ch. Ratanaprasert |
On Constantive Simple and Order-Primal Algebras. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 08B05, 06A11, 06A06 |
51 | Antonio Di Nola, Ada Lettieri |
Finiteness based results in BL-algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
BL-comet, Strong duality, Duality, BL-algebra |
51 | Thomas Vetterlein |
Partial algebras for Lukasiewicz logics and its extensions. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Alasdair Urquhart |
Duality Theory for Projective Algebras. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
51 | M. Aguiar |
Infinitesimal Hopf Algebras and the cd-Index of Polytopes. |
Discret. Comput. Geom. |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Mojgan Mahmoudi, M. Mehdi Ebrahimi |
Purity and Equational Compactness of Projection Algebras. |
Appl. Categorical Struct. |
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. |
Soft Comput. |
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. |
Arch. Math. Log. |
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. |
Order |
2000 |
DBLP DOI BibTeX RDF |
cardinal function, cardinal invariant, initial chain algebra, interval algebra |
51 | Dexter Kozen |
On Kleene Algebras and Closed Semirings. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Manfred Broy, Martin Wirsing |
Generalized Heterogeneous Algebras and Partial Interpretations. |
CAAP |
1983 |
DBLP DOI BibTeX RDF |
|
51 | Tarek Sayed Ahmed |
On Complete Representations of Reducts of Polyadic Algebras. |
Stud Logica |
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. |
Soft Comput. |
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. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
algebras of minimal rank, multiplication, bilinear complexity |
51 | Marco Grandis, John MacDonald |
Homotopy Structures for Algebras over a Monad. |
Appl. Categorical Struct. |
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. |
RSKT |
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. |
Order |
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. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Associative algebras, Complexity, Decomposition, Symbolic computations, Lie algebras, Radical |
47 | Jonas Månsson, Patrik Nordbeck |
A generalized Ufnarovski graph. |
Appl. Algebra Eng. Commun. Comput. |
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. |
Arch. Math. Log. |
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. |
Soft Comput. |
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. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Rudolf Wille |
Preconcept Algebras and Generalized Double Boolean Algebras. |
ICFCA |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Zdenka Riecanová |
Sub-effect algebras and Boolean sub-effect algebras. |
Soft Comput. |
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 |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2005 |
DBLP BibTeX RDF |
|
47 | Paolo Baldan, Barbara König 0001, Arend Rensink |
Summary 2: Graph Grammar Verification through Abstraction. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
47 | Pawel Sobocinski 0001 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
47 | Roberto Bruni, Ivan Lanese |
Summary 3: On Graph(ic) Encodings. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
44 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice |
44 | Majid Alizadeh |
Completions of Basic Algebras. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra |
44 | Robert Wisbauer |
Algebras Versus Coalgebras. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30 |
44 | Lianzhen Liu, Xiangyang Zhang |
States on R0 algebras. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
R 0 algebra, MV algebra, State |
44 | J. Patricio Díaz Varela |
Free Lukasiewicz implication algebras. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
44 | Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
Sequential Automatic Algebras. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Björn Vormbrock |
A Solution of the Word Problem for Free Double Boolean Algebras. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Joel Berman, Willem J. Blok |
Algebras Defined from Ordered Sets and the Varieties they Generate. |
Order |
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. |
Appl. Categorical Struct. |
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. |
Soft Comput. |
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][ >>] |
|