|
|
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 |
21 | Volker Weispfenning |
Efficient Decision Algorithms for Locally Finite Theories. |
AAECC |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing |
On the Power of Algebraic Specifications. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
21 | Robert L. Herrmann |
Selection and implementation of a ternary switching algebra. |
AFIPS Spring Joint Computing Conference |
1968 |
DBLP DOI BibTeX RDF |
|
20 | Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana |
Positive Fork Graph Calculus. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
Positive relational calculi, fork algebras, graph calculus, completeness, decidability |
20 | Guillaume Demarcq, Laurent Mascarilla, Pierre Courtellemont |
A Metric and Multiscale Color Segmentation Using the Color Monogenic Signal. |
CAIP |
2009 |
DBLP DOI BibTeX RDF |
Monogenic signal, differential geometry, color segmentation, color image processing, Clifford algebras |
20 | Thomas Batard, Michel Berthier |
The Clifford-Hodge Flow: An Extension of the Beltrami Flow. |
CAIP |
2009 |
DBLP DOI BibTeX RDF |
Vector-valued data, Differential Geometry, Anisotropic diffusion, Clifford algebras, Heat equations |
20 | Bernhard Heinemann |
A Hybrid Logic for Reasoning about Knowledge and Topology. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
The logic of knowledge, Nominalstructure for subset spaces, Algebras of sets, Hybrid logic, Topological reasoning |
20 | Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis |
Extending statecharts with process algebra operators. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
EB3, Information systems, Process algebras, Statecharts, State transition diagrams |
20 | Jan A. Bergstra, John V. Tucker |
The rational numbers as an abstract data type. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra |
20 | Neil Ghani, Tarmo Uustalu, Makoto Hamana |
Explicit substitutions and higher-order syntax. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding |
20 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
Probabilistic I/O Automata: Theories of Two Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations |
20 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Achieving Fault Tolerance by a Formally Validated Interaction Policy. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Integrity policies, fault tolerance, model checking, process algebras |
20 | Joan Gispert, Antoni Torrens |
Axiomatic Extensions of IMT3 Logic. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics |
20 | Timothy G. Griffin, João L. Sobrinho |
Metarouting. |
SIGCOMM |
2005 |
DBLP DOI BibTeX RDF |
algebraic routing, path algebras, routing protocols |
20 | R. Padmanabhan, P. Penner |
Semilattice Operations Generated by Lattice Terms. |
Order |
2004 |
DBLP DOI BibTeX RDF |
quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice |
20 | Marco Bernardo 0001 |
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
symbolic semantics, value passing, Process algebras |
20 | Beloslav Riecan |
On the Law of Large Numbers on IFS Events. |
Fuzzy Days |
2004 |
DBLP DOI BibTeX RDF |
IFS-events, probability, observables, MV-algebras |
20 | Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo |
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic |
20 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
A generic approach to the static analysis of concurrent programs with procedures. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems |
20 | Neil Ghani, Tarmo Uustalu |
Explicit substitutions and higher-order syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
algebras, monads, abstract syntax, explicit substitutions, variable binding |
20 | Marek Golasinski |
Disconnected Equivariant Rational Homotopy Theory. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
closed model category, cofinite EI-category, equivariant KS-minimal model, Grothendieck construction, Hamiltonian group, linearly compact k-module, system of differential graded complete algebras and simplicial sets |
20 | Anton Setzer |
Java as a Functional Programming Language. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value |
20 | Patrik Nordbeck |
On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies |
20 | Sakaé Fuchino, Stefan Geschke, Lajos Soukup |
On the weak Freese-Nation property of ?(omega). |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Weak Freese-Nation property, Cohen models, Cicho?'s diagram, Superatomic Boolean algebras |
20 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
An example of performance evaluation by using the stochastic process algebra: ROSA. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements |
20 | Hajime Ishihara |
Function algebraic characterizations of the polytime functions. |
Comput. Complex. |
1999 |
DBLP DOI BibTeX RDF |
Polytime functions, function algebras, recursion schemes |
20 | Markus Bläser |
A 5/2 n2-Lower Bound for the Rank of n×n Matrix Multiplication over Arbitrary Fields. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
associative algebras, computational complexity, rank, matrix multiplication, bilinear complexity |
20 | Andrea Formisano 0001, Eugenio G. Omodeo |
An Equational Re-engineering of Set Theories. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
first-order theorem-proving, relation algebras, Set Theory, algebraic logic |
20 | Rodney G. Downey, André Nies |
Undecidability Results for Low Complexity Degree Structures. |
CCC |
1997 |
DBLP DOI BibTeX RDF |
undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras |
20 | Soumitra Bose, Vishwani D. Agrawal |
Sequential logic path delay test generation by symbolic analysis. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions |
20 | Helmut Thiele |
On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms |
20 | Wendy MacCaull |
Finite Algebraic Models for Residuated Logic. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover |
19 | J. Patricio Díaz Varela, Noemí Lubomirsky |
Functional description of free algebras in subvarieties of BL-algebras. |
Fuzzy Sets Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Zhicheng Zhu, Huhu Zhang, Xing Gao |
Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gröbner-Shirshov bases. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Guram Bezhanishvili, Luca Carai, Patrick J. Morandi |
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. |
Order |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Abdi Oli, Gerima Tefera |
Fuzzy derivations of d-ideals of d-algebras and Cartesian product of Fuzzy derivation of d-ideals of d-algebras. |
Appl. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Miklós Ferenczi |
On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
19 | Akihide Hanaki, Masayoshi Yoshikawa |
Terwilliger algebras and some related algebras defined by finite connected simple graphs. |
Discret. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tarek Sayed Ahmed |
Notions of representability for cylindric algebras: some algebras are more representable than others. |
Period. Math. Hung. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mayuka F. Kawaguchi, Michiro Kondo |
On quotient algebras of normal eo-algebras by congruences. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Armando Reyes, Cristian Sarmiento |
On the differential smoothness of 3-dimensional skew polynomial algebras and diffusion algebras. |
Int. J. Algebra Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Yudan Du, Xiaohong Zhang 0001 |
QM-BZ-Algebras and Quasi-Hyper BZ-Algebras. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zahra Eidinejad, Reza Saadati, Donal O'Regan, Fehaid Salem Alshammari |
Minimum Superstability of Stochastic Ternary Antiderivations in Symmetric Matrix-Valued FB-Algebras and Symmetric Matrix-Valued FC-⋄-Algebras. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Sergio A. Celani, Ramon Jansana |
A variety of algebras closely related to subordination algebras. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Yingying Jiang, Wenjuan Chen |
Quasi-MV* algebras: a generalization of MV*-algebras. |
Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Anatolij Dvurecenskij, Dominik Lachman |
n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. II. One-to-one correspondence. |
Fuzzy Sets Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Anatolij Dvurecenskij, Dominik Lachman |
n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. I. Characteristic points. |
Fuzzy Sets Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zongzhen Xie, Hanpeng Gao, Zhaoyong Huang |
Tilting modules over Auslander algebras of Nakayama algebras with radical cube zero. |
Int. J. Algebra Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Runxuan Zhang |
Representations of ω-Lie algebras and tailed derivations of Lie algebras. |
Int. J. Algebra Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Alina Dobrogowska, Karolina Wojciechowicz |
Linear Bundle of Lie Algebras Applied to the Classification of Real Lie Algebras. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Ali Molkhasi |
Representations of Sheffer stroke algebras and Visser algebras. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Xiu-Juan Hua |
State L-algebras and derivations of L-algebras. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Brijesh Dongol, Ian J. Hayes, Georg Struth |
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. |
Log. Methods Comput. Sci. |
2021 |
DBLP BibTeX RDF |
|
19 | Afrodita Iorgulescu |
On Quantum-MV Algebras - Part I: The Orthomodular Algebras. |
Sci. Ann. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Anatolij Dvurecenskij, Omid Zahiri |
A variety containing EMV-algebras and Pierce sheaves of EMV-algebras. |
Fuzzy Sets Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Hongxing Liu |
EMV-algebras with Quantifier and Semi-states on EMV-algebras. |
J. Multiple Valued Log. Soft Comput. |
2020 |
DBLP BibTeX RDF |
|
19 | Jing Wang, Yali Wu, Yichuan Yang |
Hyper Commutative Basic Algebras, Hyper MV-algebras, and States. |
J. Multiple Valued Log. Soft Comput. |
2020 |
DBLP BibTeX RDF |
|
19 | Afrodita Iorgulesc, Michael Kinyon |
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". |
FLAP |
2020 |
DBLP BibTeX RDF |
|
19 | Daniel Abraham Romano |
Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
19 | Alfons Van Daele, Shuanhong Wang |
Weak Multiplier Hopf Algebras II: Source and Target Algebras. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Fatmah Baker H. Jamjoom, A. H. Al Otaibi |
On the Relationship between Jordan Algebras and Their Universal Enveloping Algebras. |
Int. J. Math. Math. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Aldo V. Figallo, Claudia M. Gomes |
Monadic Boolean algebras with an automorphism and their relation to ${\mathbf{Df}}_{\mathbf{2}}$-algebras. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jing Wang, Yali Wu, Yichuan Yang |
Basic algebras and L-algebras. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Ciraulo, Michele Contente |
Overlap Algebras: a Constructive Look at Complete Boolean Algebras. |
Log. Methods Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Manuela Busaniche, José Luis Castiglioni, Noemí Lubomirsky |
Functional representation of finitely generated free algebras in subvarieties of BL-algebras. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Gejza Jenca |
Pseudo effect algebras are algebras over bounded posets. |
Fuzzy Sets Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Nikolaos Galatos, Peter Jipsen |
Weakening Relation Algebras and FL2-algebras. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Rajab Ali Borzooei, Hee Sik Kim, Nader Kouhestani |
Constructing (pre)norms in BL-algebras and its action on topological BL-algebras. |
J. Intell. Fuzzy Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Donggyun Kim, Sangjib Kim, Euisung Park |
On the structures of hive algebras and tensor product algebras for general linear groups of low rank. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Namhee Kwon |
Branching Functions for Admissible Representations of Affine Lie Algebras and Super-Virasoro Algebras. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Hassan Almusawa, Ryad Ghanam, Gerard Thompson |
Classification of Symmetry Lie Algebras of the Canonical Geodesic Equations of Five-Dimensional Solvable Lie Algebras. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Aglianò |
Varieties of BL-Algebras III: Splitting Algebras. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Aldo Figallo Orellano, Inés Pascual |
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Ciraulo, Michele Contente |
Overlap Algebras: a constructive look at complete Boolean algebras. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
19 | Yali Wu, Jing Wang, Yichuan Yang |
Lattice-ordered effect algebras and L-algebras. |
Fuzzy Sets Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Hongxing Liu |
On categorical equivalences of equality algebras and monadic equality algebras. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Afrodita Iorgulescu |
Quasi-i-Boolean algebras vs. quasi-m Boolean algebras. |
EUSFLAT Conf. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Gejza Jenca |
Effect Algebras as Presheaves on Finite Boolean Algebras. |
Order |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Xiaohong Zhang 0001, Rajab Ali Borzooei, Young Bae Jun |
Q-Filters of Quantum B-Algebras and Basic Implication Algebras. |
Symmetry |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Kuanyun Zhu, Bao Qing Hu |
A novel Z-soft rough fuzzy BCI-algebras (ideals) of BCI-algebras. |
Soft Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Juan Manuel Cornejo, Hernán Javier San Martín |
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. |
Log. J. IGPL |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Juan Climent Vidal, Enric Cosme-Llópez |
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? |
Log. J. IGPL |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Mart Abel |
Generalization of Segal algebras for arbitrary topological algebras. |
Period. Math. Hung. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Dong Su, Shilin Yang |
Green rings of weak Hopf algebras based on generalized Taft algebras. |
Period. Math. Hung. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Sarah Alexander, Peter Jipsen, Nadiya Upegui |
On the Structure of Generalized Effect Algebras and Separation Algebras. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Vsevolod Gubarev |
Universal Enveloping Commutative Rota-Baxter Algebras of Pre- and Post-Commutative Algebras. |
Axioms |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Cignoli, Antoni Torrens |
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Liyi Li 0002, Elsa L. Gunter |
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir V. Bavula |
Quiver Generalized Weyl Algebras, Skew Category Algebras and Diskew Polynomial Rings. |
Math. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini |
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Noemí Lubomirsky, Hernán Javier San Martín, William Javier Zuluaga Botero |
Relatively compatible operations in BCK-algebras and some related algebras. |
Log. J. IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Peter Jipsen |
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg |
Boolean Algebras in Visser Algebras. |
Notre Dame J. Formal Log. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Mathys Rennela, Sam Staton, Robert Furber |
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. |
QPL |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dusko Pavlovic, Peter-Michael Seidel |
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. |
QPL |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Ivo Düntsch, Ewa Orlowska, Clint J. van Alten |
Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. |
Fuzzy Sets Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jeremy F. Alm, Robin Hirsch, Roger D. Maddux |
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. |
Rev. Symb. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Samuel Coskey |
G. A. Elliott, I. Farah, V. I. Paulsen, C. Rosendal, A. S. Toms, and A. Törnquist. The isomorphism relation for separable C*-algebras. Mathematics Research Letters, vol. 20 (2013), no. 6, pp. 1071-1080. - Marcin Sabok. Completeness of the isomorphism problem for separable C*-algebras. Inventiones Mathematicae, to appear, published online at link.springer.com/journal/222. |
Bull. Symb. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Afrodita Iorgulescu |
Quasi-Algebras versus Regular Algebras - Part I. |
Sci. Ann. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Ian M. Hodkinson |
Connections between Relation Algebras and Cylindric Algebras. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 5947 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|