Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Richard Mayr |
Model Checking PA-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 332-346, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
PA-processes, model checking, process algebras, tableau systems |
13 | Hans-E. Porst |
The algebraic theory of order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 1(4), pp. 423-440, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Essentially equational theory, essentially algebraic category, order and preorder, ordered algebras |
13 | Richard Gerber 0001, Insup Lee 0001 |
Specification and Analysis of Resource-Bound Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 371-396, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
verification, Real-time, specification, programming languages, process algebras, configuration, proof systems |
13 | Corrado Böhm |
Subduing Self-Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 108-122, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes |
13 | Gérard Boudol, Ilaria Castellani |
Permutation of transitions: An event structure semantics for CCS and SCCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 411-427, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
pomset-labelled transition systems, process algebras, event structures |
13 | Matthew Hennessy |
Observing processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 173-200, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
behavioural semantics, testing, process algebras, Concurrent Processes |
13 | Antoni W. Mazurkiewicz |
Compositional Semantics of Pure Place/ Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 307-330, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality |
13 | Corrado Böhm, Adolfo Piperno |
Surjectivity for Finite Sets of Combinators by Weak Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings, pp. 27-43, 1987, Springer, 3-540-50241-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus |
13 | Manfred Schmidt-Schauß |
Unification in Many-Sorted Eqational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings, pp. 538-552, 1986, Springer, 3-540-16780-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories |
10 | L. Blanco, Fernando Jiménez, Javier de Lucas, Cristina Sardón |
Geometry-Preserving Numerical Methods for Physical Systems with Finite-Dimensional Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 34(1), pp. 26, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Rajab Ali Borzooei, Sun Shin Ahn, Young Bae Jun |
Łukasiewicz fuzzy filters of Sheffer stroke Hilbert algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(4), pp. 8231-8243, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Qiuyan Zhan, A. Borumand Saeid, Bijan Davvaz |
Operators on L-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(4), pp. 10231-10241, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Anh-Tu Nguyen, Thanh-Lam Bui, Huy Anh Bui, Sy-Tai Nguyen, Xuan-Thuan Nguyen |
Application of hedge algebras algorithm for mobile robot controller via hand gestures and wireless protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(1), pp. 1201-1212, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | C. E. Kofinas, Athanassios I. Papistas |
On automorphisms of certain free nilpotent-by-abelian Lie algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 34(2), pp. 251-281, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | C. E. Kofinas |
Symmetric polynomials in free center-by-metabelian Lie algebras of rank 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 34(1), pp. 1-21, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Miguel Couceiro, Dwight Duffus |
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 41(1), pp. 1-14, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Diogo Diniz, Dimas José Gonçalves, Viviane Ribeiro Tomaz da Silva, Manuela da Silva Souza |
The isomorphism problem in the context of PI-theory for two-dimensional Jordan algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 94, pp. 102344, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Q. Labriet, Loïc Poulain d'Andecy |
Realisations of Racah algebras using Jacobi operators and convolution identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 153, pp. 102620, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Axel Osmond |
Codescent and Bicolimits of Pseudo-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 32(2), pp. 11, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Luis M. Pardo |
Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 35(1), pp. 71-118, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Fatmah Baker H. Jamjoom, Fadwa M. Algamdei |
Product States of Infinite Tensor Product of JC-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(3), pp. 205, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yu Yang, Xingtao Wang |
Representations of Generalized Loop Planar Galilean Conformal Algebras W(Γ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(9), pp. 863, September 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Abdullah Assiry, Sabeur Mansour, Amir Baklouti |
S-Embedding of Lie Superalgebras and Its Implications for Fuzzy Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(1), pp. 2, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tugce Katican, Hashem Bordbar |
Sheffer Stroke Hilbert Algebras Stabilizing by Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(2), pp. 97, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Alexander A. Balinsky, Victor A. Bovdi, Anatolij K. Prykarpatski |
On the Quantum Deformations of Associative Sato Grassmannian Algebras and the Related Matrix Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 16(1), pp. 54, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Mieczyslaw Cichon, Kinga Cichon |
On Normed Algebras and the Generalized Maligranda-Orlicz Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 16(1), pp. 56, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hongyu Yu, Xiaopei Jiao, Stephen S.-T. Yau |
Complete Classification of Finite Dimensional Estimation Algebras With State Dimension n, Linear Rank n-1, and Constant Wong Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(1), pp. 295-302, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Pavel S. Kolesnikov, Bauyrzhan K. Sartayev |
On the Special Identities of Gelfand-Dorfman Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 33(1), pp. 165-174, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hau-Wen Huang |
The Clebsch-Gordan coefficients of U(sl2) and the Terwilliger algebras of Johnson graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 203, pp. 105833, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver |
Cyclic Group Spectra for Some Small Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15939, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Lehmann |
Projection-algebras and quantum logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.07042, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Louis Mozart Kamdem, Caglar Demir, Axel-Cyrille Ngonga Ngomo |
Embedding Knowledge Graphs in Degenerate Clifford Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04870, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Frey |
Uniform Preorders and Partial Combinatory Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.17340, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Juan Climent Vidal, Enric Cosme-Llópez |
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12051, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sacha Huriot-Tattegrain, Glynn Winskel |
Concurrent Strategies on Games with Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04590, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Milan Lopuhaä-Zwakenberg |
Attack tree metrics are operad algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10008, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio |
Nelson algebras, residuated lattices and rough sets: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.02606, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben |
Assume-guarantee contract algebras are bounded Sugihara monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12514, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon |
Gr{ö}bner bases over polytopal affinoid algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13382, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Thi Thoa Mac, Tien-Duy Nguyen, Hai-Le Bui, Ngoc-An Tran |
Optimal design of hedge-algebras-based controller for vibration control of vehicle suspension systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Control. Eng. ![In: J. Syst. Control. Eng. 238(4), pp. 755-776, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sergio A. Celani |
Relational representation for subordination Tarski algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 34(1), pp. 75-96, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Damla Yilmaz |
Symmetric bi-derivations of UP(BCC)-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 34(1), pp. 155-169, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jouni Järvinen, Michiro Kondo |
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(2), pp. 903-916, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xueting Zhao, Aiping Gan, Yichuan Yang |
$(\odot ,\vee )$-Derivations on MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(3), pp. 1833-1849, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Abd El-Mohsen Badawy, Kamal El-Saady, Essam Abd El-Baset |
δ-ideals of p-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(6), pp. 4715-4724, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xianglong Ruan |
A class of cancellable L-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(2), pp. 883-886, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ahsan Mahboob, G. Muhiuddin |
m-Polar cubic p(q and a)-ideals of BCI-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 16(2), pp. 2350013:1-2350013:20, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Natanael Alpay, Peter Jipsen, Melissa Sugimoto |
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 20(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lianzhen Liu |
The existence of nontrivial monadic operators on linearly ordered monadic nilpotent minimum algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 477, pp. 108822, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Aiping Gan, Wei Luan, Fangan Deng, Yichuan Yang |
On regularity of topological MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 475, pp. 108747, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jitsupat Rattanakangwanwong, Yotsanan Meemark |
Subgraph of unitary Cayley graph of matrix algebras induced by idempotent matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 347(2), pp. 113739, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Evgeny Kolmakov |
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 17(1), pp. 206-243, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yajie Lv, Wenjuan Chen |
The Spectra of Quasi-Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 32(1), pp. 139-163, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Knibbeler |
Computing equivariant matrices on homogeneous spaces for geometric deep learning and automorphic Lie algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 50(2), pp. 27, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | E. Mohammadzadeh, G. Muhiuddin, Rajab Ali Borzooei |
Fuzzy Nilpotent Ideals in BCK-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 20(1), pp. 233-245, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Bazhenov 0001, Manat Mustafa |
On Learning Families of Ideals in Lattices and Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings, pp. 1-13, 2024, Springer, 978-981-97-2339-3. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski |
Circuit Equivalence in 2-Nilpotent Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, pp. 45:1-45:17, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Michael Kompatscher |
The Subpower Membership Problem of 2-Nilpotent Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, pp. 46:1-46:17, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1801-1831, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Gregg Musiker, Kayla Wright |
Mixed Dimer Configuration Model in Type D Cluster Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 30(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian König |
Combinatorics of Centers of 0-Hecke Algebras in Type A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 30(3), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mahmood Bakhshi, Sun Shin Ahn, Young Bae Jun, Xiao Long Xin 0001, Rajab Ali Borzooei |
Construction of some algebras of logic by using fuzzy ideals in mv-modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(3), pp. 4509-4519, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mariana Floricica Calin, Cristina Flaut, Dana Piciu |
Remarks regarding some Algebras of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(5), pp. 8613-8622, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Thanh-Lam Bui, Thanh-Hung Nguyen, Xuan-Thuan Nguyen |
A Controller for Delta Parallel Robot Based on Hedge Algebras Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics ![In: J. Robotics 2023, pp. 2271030:1-2271030:20, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sy-Tai Nguyen, Thi Thoa Mac, Hai-Le Bui |
Motion Control of a Mobile Robot Using the Hedge-Algebras-Based Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics ![In: J. Robotics 2023, pp. 6613293:1-6613293:13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Danilo Vilela Avelar, Viviane Ribeiro Tomaz da Silva |
ℤ2-gradings and minimal varieties of ℤ2-graded PI algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(2), pp. 261-288, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | D. Chen, X. Zhang |
On the number of tilting modules over a class of Auslander algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(6), pp. 1065-1081, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Boris Kunyavskii, Vadim Z. Ostapenko |
Tate-Shafarevich groups and algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(4), pp. 819-836, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Valentino Delle Rose, Luca San Mauro, Andrea Sorbi |
Classifying word problems of finitely generated algebras via computable reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(4), pp. 751-768, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nik Ruskuc, Bill de Witt |
On the number of countable subdirect powers of unary algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(6), pp. 1183-1194, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yali Wu, Xia Li, Jing Wang |
Notes on Sharp and Principal Elements in Effect Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 40(3), pp. 525-536, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alex Citkin |
On Finitely-Generated Johansson Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 40(2), pp. 371-385, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(3), pp. 1321-1322, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | George Metcalfe, Luca Reggio |
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(1), pp. 381-417, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | James Mathew Koussas |
Finite Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(2), pp. 874-888, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(3), pp. 1310-1320, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Piotr Borodulin-Nadzieja, Damian Sobota |
On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(1), pp. 191-218, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Masiur Rahaman Sardar, Mihir Kumar Chakraborty |
Rough set models of some abstract algebras close to pre-rough algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 621, pp. 104-118, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fernand Kuiebove Pefireko |
Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 2(2), pp. 137-154, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar |
Gautama and Almost Gautama Algebras and their associated logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 2(2), pp. 77-112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Lenzi |
On The Spectrum of Countable MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 2(2), pp. 184-193, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tenkeu Jeufack Yannick Léa, Cyrille Nganteu Tchikapa |
On the Lattice of Filters of Intuitionistic Linear Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 2(1), pp. 72-91, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid |
A Special Type of Ideals in MV-algebras of Continuous Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 10(4), pp. 531-554, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Xiaoxue Zhang, Hongxing Liu |
The Annihilating-ideal Graphs of MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 10(5), pp. 819-849, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Francesco Brenti, Roberto Conti, Gleb Nenashev |
Permutative automorphisms of the Cuntz algebras: Quadratic cycles, an involution and a box product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 143, pp. 102447, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nantel Bergeron, Rafael S. González D'León, Shu Xiao Li, C. Y. Amy Pang, Yannic Vargas |
Hopf algebras of parking functions and decorated planar trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 143, pp. 102436, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Erik Bédos, S. Kaliszewski, John Quigg, Jonathan Turk |
Coactions on C*-Algebras and Universal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 36, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding |
De Vries Powers and Proximity Specker Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(3), pp. 24, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mateusz Stroinski |
Weighted Colimits of 2-Representations and Star Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(4), pp. 29, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Florin F. Nichita |
Unification Theories: Rings, Boolean Algebras and Yang-Baxter Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(4), pp. 341, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Marjan Matvejchuk |
Ideals of Projections According to σ-Algebras and Unbounded Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 167, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Ojeda-Hernández, Domingo López-Rodríguez, Pablo Cordero |
Fuzzy Algebras of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(4), pp. 324, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wen Teng, Jiulin Jin, Fengshan Long |
Generalized Reynolds Operators on Lie-Yamaguti Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(10), pp. 934, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Reem K. Alhefthi, Akhlaq Ahmad Siddiqui, Fatmah Baker H. Jamjoom |
Homotopes of Quasi-Jordan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(11), pp. 1045, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xiaohong Zhang 0001, Rong Liang |
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(1), pp. 42, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zoriana Novosad, Svitlana Vasylyshyn, Andriy Zagorodnyuk |
Countably Generated Algebras of Analytic Functions on Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(8), pp. 798, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Asma Ali, Amal S. Alali, Mohd Tasleem |
Characterization of Non-Linear Bi-Skew Jordan n-Derivations on Prime ∗-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(8), pp. 753, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Shadi Shaqaqha |
Fuzzy Hom-Lie Ideals of Hom-Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(7), pp. 630, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rutwig Campoamor-Stursberg, Francisco Oviaño García |
Construction of Rank-One Solvable Rigid Lie Algebras with Nilradicals of a Decreasing Nilpotence Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(8), pp. 754, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas, Pedro González-Rodelas |
Certain Bounds of Formulas in Free Temporal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(12), pp. 1111, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|