Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Richard Mayr |
Model Checking PA-Processes. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
PA-processes, model checking, process algebras, tableau systems |
13 | Hans-E. Porst |
The algebraic theory of order. |
Appl. Categorical Struct. |
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. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
verification, Real-time, specification, programming languages, process algebras, configuration, proof systems |
13 | Corrado Böhm |
Subduing Self-Application. |
ICALP |
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. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
pomset-labelled transition systems, process algebras, event structures |
13 | Matthew Hennessy |
Observing processes. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
behavioural semantics, testing, process algebras, Concurrent Processes |
13 | Antoni W. Mazurkiewicz |
Compositional Semantics of Pure Place/ Transition Systems. |
European Workshop on Applications and Theory of Petri Nets |
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. |
CSL |
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. |
CADE |
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. |
J. Nonlinear Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Rajab Ali Borzooei, Sun Shin Ahn, Young Bae Jun |
Łukasiewicz fuzzy filters of Sheffer stroke Hilbert algebras. |
J. Intell. Fuzzy Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Qiuyan Zhan, A. Borumand Saeid, Bijan Davvaz |
Operators on L-algebras. |
J. Intell. Fuzzy Syst. |
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. |
J. Intell. Fuzzy Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | C. E. Kofinas, Athanassios I. Papistas |
On automorphisms of certain free nilpotent-by-abelian Lie algebras. |
Int. J. Algebra Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | C. E. Kofinas |
Symmetric polynomials in free center-by-metabelian Lie algebras of rank 2. |
Int. J. Algebra Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Miguel Couceiro, Dwight Duffus |
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. |
Order |
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. |
Finite Fields Their Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Q. Labriet, Loïc Poulain d'Andecy |
Realisations of Racah algebras using Jacobi operators and convolution identities. |
Adv. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Axel Osmond |
Codescent and Bicolimits of Pseudo-Algebras. |
Appl. Categorical Struct. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Luis M. Pardo |
Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics. |
Appl. Algebra Eng. Commun. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Fatmah Baker H. Jamjoom, Fadwa M. Algamdei |
Product States of Infinite Tensor Product of JC-algebras. |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yu Yang, Xingtao Wang |
Representations of Generalized Loop Planar Galilean Conformal Algebras W(Γ). |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Abdullah Assiry, Sabeur Mansour, Amir Baklouti |
S-Embedding of Lie Superalgebras and Its Implications for Fuzzy Lie Algebras. |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tugce Katican, Hashem Bordbar |
Sheffer Stroke Hilbert Algebras Stabilizing by Ideals. |
Axioms |
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. |
Symmetry |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Mieczyslaw Cichon, Kinga Cichon |
On Normed Algebras and the Generalized Maligranda-Orlicz Lemma. |
Symmetry |
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. |
IEEE Trans. Autom. Control. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Pavel S. Kolesnikov, Bauyrzhan K. Sartayev |
On the Special Identities of Gelfand-Dorfman Algebras. |
Exp. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hau-Wen Huang |
The Clebsch-Gordan coefficients of U(sl2) and the Terwilliger algebras of Johnson graphs. |
J. Comb. Theory, Ser. A |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Lehmann |
Projection-algebras and quantum logic. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Louis Mozart Kamdem, Caglar Demir, Axel-Cyrille Ngonga Ngomo |
Embedding Knowledge Graphs in Degenerate Clifford Algebras. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Frey |
Uniform Preorders and Partial Combinatory Algebras. |
CoRR |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sacha Huriot-Tattegrain, Glynn Winskel |
Concurrent Strategies on Games with Algebras. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Milan Lopuhaä-Zwakenberg |
Attack tree metrics are operad algebras. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio |
Nelson algebras, residuated lattices and rough sets: A survey. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben |
Assume-guarantee contract algebras are bounded Sugihara monoids. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon |
Gr{ö}bner bases over polytopal affinoid algebras. |
CoRR |
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. |
J. Syst. Control. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sergio A. Celani |
Relational representation for subordination Tarski algebras. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Damla Yilmaz |
Symmetric bi-derivations of UP(BCC)-algebras. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jouni Järvinen, Michiro Kondo |
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. |
Soft Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xueting Zhao, Aiping Gan, Yichuan Yang |
$(\odot ,\vee )$-Derivations on MV-algebras. |
Soft Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Abd El-Mohsen Badawy, Kamal El-Saady, Essam Abd El-Baset |
δ-ideals of p-algebras. |
Soft Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xianglong Ruan |
A class of cancellable L-algebras. |
Soft Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ahsan Mahboob, G. Muhiuddin |
m-Polar cubic p(q and a)-ideals of BCI-algebras. |
Discret. Math. Algorithms Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Natanael Alpay, Peter Jipsen, Melissa Sugimoto |
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. |
Log. Methods Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lianzhen Liu |
The existence of nontrivial monadic operators on linearly ordered monadic nilpotent minimum algebras. |
Fuzzy Sets Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Aiping Gan, Wei Luan, Fangan Deng, Yichuan Yang |
On regularity of topological MV-algebras. |
Fuzzy Sets Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jitsupat Rattanakangwanwong, Yotsanan Meemark |
Subgraph of unitary Cayley graph of matrix algebras induced by idempotent matrices. |
Discret. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Evgeny Kolmakov |
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras. |
Rev. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yajie Lv, Wenjuan Chen |
The Spectra of Quasi-Boolean Algebras. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Knibbeler |
Computing equivariant matrices on homogeneous spaces for geometric deep learning and automorphic Lie algebras. |
Adv. Comput. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | E. Mohammadzadeh, G. Muhiuddin, Rajab Ali Borzooei |
Fuzzy Nilpotent Ideals in BCK-Algebras. |
New Math. Nat. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Bazhenov 0001, Manat Mustafa |
On Learning Families of Ideals in Lattices and Boolean Algebras. |
TAMC |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski |
Circuit Equivalence in 2-Nilpotent Algebras. |
STACS |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Michael Kompatscher |
The Subpower Membership Problem of 2-Nilpotent Algebras. |
STACS |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Gregg Musiker, Kayla Wright |
Mixed Dimer Configuration Model in Type D Cluster Algebras. |
Electron. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian König |
Combinatorics of Centers of 0-Hecke Algebras in Type A. |
Electron. J. Comb. |
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. |
J. Intell. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mariana Floricica Calin, Cristina Flaut, Dana Piciu |
Remarks regarding some Algebras of Logic. |
J. Intell. Fuzzy Syst. |
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. |
J. Robotics |
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. |
J. Robotics |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Danilo Vilela Avelar, Viviane Ribeiro Tomaz da Silva |
ℤ2-gradings and minimal varieties of ℤ2-graded PI algebras. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | D. Chen, X. Zhang |
On the number of tilting modules over a class of Auslander algebras. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Boris Kunyavskii, Vadim Z. Ostapenko |
Tate-Shafarevich groups and algebras. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Valentino Delle Rose, Luca San Mauro, Andrea Sorbi |
Classifying word problems of finitely generated algebras via computable reducibility. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nik Ruskuc, Bill de Witt |
On the number of countable subdirect powers of unary algebras. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yali Wu, Xia Li, Jing Wang |
Notes on Sharp and Principal Elements in Effect Algebras. |
Order |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alex Citkin |
On Finitely-Generated Johansson Algebras. |
Order |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | George Metcalfe, Luca Reggio |
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | James Mathew Koussas |
Finite Relation Algebras. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Piotr Borodulin-Nadzieja, Damian Sobota |
On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Masiur Rahaman Sardar, Mihir Kumar Chakraborty |
Rough set models of some abstract algebras close to pre-rough algebra. |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fernand Kuiebove Pefireko |
Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras. |
TFSS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar |
Gautama and Almost Gautama Algebras and their associated logics. |
TFSS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Lenzi |
On The Spectrum of Countable MV-algebras. |
TFSS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tenkeu Jeufack Yannick Léa, Cyrille Nganteu Tchikapa |
On the Lattice of Filters of Intuitionistic Linear Algebras. |
TFSS |
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. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
10 | Xiaoxue Zhang, Hongxing Liu |
The Annihilating-ideal Graphs of MV-algebras. |
FLAP |
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. |
Adv. Appl. Math. |
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. |
Adv. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Erik Bédos, S. Kaliszewski, John Quigg, Jonathan Turk |
Coactions on C*-Algebras and Universal Properties. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding |
De Vries Powers and Proximity Specker Algebras. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mateusz Stroinski |
Weighted Colimits of 2-Representations and Star Algebras. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Florin F. Nichita |
Unification Theories: Rings, Boolean Algebras and Yang-Baxter Systems. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Marjan Matvejchuk |
Ideals of Projections According to σ-Algebras and Unbounded Measurements. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Ojeda-Hernández, Domingo López-Rodríguez, Pablo Cordero |
Fuzzy Algebras of Concepts. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wen Teng, Jiulin Jin, Fengshan Long |
Generalized Reynolds Operators on Lie-Yamaguti Algebras. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Reem K. Alhefthi, Akhlaq Ahmad Siddiqui, Fatmah Baker H. Jamjoom |
Homotopes of Quasi-Jordan Algebras. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xiaohong Zhang 0001, Rong Liang |
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zoriana Novosad, Svitlana Vasylyshyn, Andriy Zagorodnyuk |
Countably Generated Algebras of Analytic Functions on Banach Spaces. |
Axioms |
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. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Shadi Shaqaqha |
Fuzzy Hom-Lie Ideals of Hom-Lie Algebras. |
Axioms |
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. |
Axioms |
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. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|