Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Xiaohong Zhang 0001, Wangtao Yuan, Mingming Chen, Florentin Smarandache |
A Kind of Variation Symmetry: Tarski Associative Groupoids (TA-Groupoids) and Tarski Associative Neutrosophic Extended Triplet Groupoids (TA-NET-Groupoids). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(5), pp. 714, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
82 | Ronald Brown, George Janelidze |
Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(1), pp. 63-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
homotopy groupoids, Galois groupoids, double groupoids |
69 | Rade T. Zivaljevic |
Combinatorial Groupoids, Cubical Complexes, and the Lovász Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(1), pp. 135-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Combinatorial groupoids, Lovász conjecture, Discrete differential geometry, Cubical complexes |
69 | Ronald Brown, Ilhan Içen |
Homotopies and Automorphisms of Crossed Modules of Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(2), pp. 185-206, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
crossed modules, groupoids, 2-crossed modules, actors, automorphisms |
66 | Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien |
Circuits and Expressions with NOn-Associative Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 193-203, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION |
60 | Pedro Sánchez Terraf |
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(4), pp. 377-386, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A12, 20M10 |
60 | Domenico Fiorenza |
Sums over Graphs and Integration over Discrete Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(4), pp. 313-350, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 81T18, Secondary 18D20, 18D50 |
60 | Martin Beaudry |
Languages Recognized by Finite Aperiodic Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 113-124, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
60 | Marek Szczerba |
Representation Theorems for Residuated Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers, pp. 426-434, 1996, Springer, 3-540-63700-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Gabriel Juhás |
Reasoning about Algebraic Generalisation of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 324-343, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Xiaogang An, Xiaohong Zhang 0001, Zhirou Ma |
Two Open Problems on CA-Groupoids and Cancellativities of T2CA-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(4), pp. 169, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
43 | Zhirou Ma, Xiaohong Zhang 0001, Florentin Smarandache |
Some Results on Various Cancellative CA-Groupoids and Variant CA-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(2), pp. 315, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
43 | Xiaohong Zhang 0001, Xiaoying Wu, Xiaoyan Mao, Florentin Smarandache, Choonkil Park |
On neutrosophic extended triplet groups (loops) and Abel-Grassmann's groupoids (AG-groupoids). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(4), pp. 5743-5753, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Ronald Brown |
Homotopy theory, and change of base for groupoids and multiple groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(2-3), pp. 175-193, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Abdul Razak bin Salleh |
Union theorems for double groupoids and groupoids: some generalisations and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1976 |
RDF |
|
41 | Alessandro Arsie, Emilio Frazzoli |
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 18-31, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
Groupoids and Conditional Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 823-830, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Dominique Bourn |
The Structural Nature of the Nerve Functor for n-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 81-113, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
simplicial object, nerve, n-groupoid, fibration |
39 | M. Bullejos, E. Faro, Víctor Blanco |
A Full and Faithful Nerve for 2-Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 223-233, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Martin Beaudry, François Lemieux, Denis Thérien |
Star-Free Open Languages and Aperiodic Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 87-98, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Hervé Caussinus, François Lemieux |
The Complexity of Computing over Quasigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 36-47, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Xiaogang An, Mingming Chen |
On type-2 cyclic associative groupoids and inflationary pseudo general residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(1), pp. 405-418, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Wesley G. Lautenschlaeger, Thaísa Tamusiunas |
Maximal Ordered Groupoids and a Galois Correspondence for Inverse Semigroup Orthogonal Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 31, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Saikat Chatterjee, Praphulla Koushik |
Extension of Topological Groupoids and Hurewicz Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 33, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
|
22 | Hao Guan, Faisal Yousafzai, Muhammad Danish Zia, Murad-ul-Islam Khan, Muhammad Irfan, Kostaq Hila |
Complex Linear Diophantine Fuzzy Sets over AG-Groupoids with Applications in Civil Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(1), pp. 74, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11860, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Carles Cardó |
A look at the Kolmogorov complexity of finite groupoids and algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.02863, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Dmitry Shkatov, Clint J. van Alten |
Complexity of the Universal Theory of Residuated Ordered Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(3), pp. 489-510, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Georg Struth |
Catoids, Categories, Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Vikraman Choudhury, Jacek Karwowski, Amr Sabry |
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-32, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Xiaogang An, Xiaohong Zhang 0001 |
Transposition Regular TA-Groupoids and Their Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(8), pp. 378, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jeong-Gon Lee, Samy Mostafa, Jong-Il Baek, Sang Hyeon Han, Kul Hur |
A Study on Groupoids, Ideals and Congruences via Cubic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(9), pp. 443, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Ilwoo Cho, Palle E. T. Jorgensen |
An Index for Graphs and Graph Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(2), pp. 47, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Dmitry Bredikhin |
On Groupoids of Relations with One Conjunctive Operation of Rank 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(5), pp. 1137-1153, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Oscar Cosserat |
Symplectic Groupoids for Poisson Integrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04838, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Nyumbu Chishwashwa, Vance Faber, Noah Streib |
Digraph Networks and Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.10537, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | E. Sameri, Rajab Ali Borzooei |
Extended implicative groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 40(1), pp. 1261-1275, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
Elementary fibrations of enriched groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(9), pp. 958-978, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Thorsten Altenkirch |
Martin Hofmann's contributions to type theory: Groupoids and univalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(9), pp. 953-957, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Michel Petitjean |
Global Symmetries, Local Symmetries and Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(10), pp. 1905, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Antoine Allioux, Eric Finster, Matthieu Sozeau |
Types are Internal ∞-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00024, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Vikraman Choudhury, Jacek Karwowski, Amr Sabry |
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.05404, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | E. Sameri, Rajab Ali Borzooei, D. Ebrahimi Bagha |
Filter theory of extended implicative groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(23), pp. 14499-14508, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Roman O. Popovych |
Point and contact equivalence groupoids of two-dimensional quasilinear hyperbolic equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 116, pp. 107068, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Paul Wang |
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(7), pp. 102970, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Eric Finster, Antoine Allioux, Matthieu Sozeau |
Types Are Internal ∞-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Katarzyna Grabowska, Janusz Grabowski, Marek Kus, Giuseppe Marmo |
Information Geometry on Groupoids: The Case of Singular Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 27(3), pp. 2050015:1-2050015:19, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Jesús Ávila, Víctor Marín, Hector Pinedo |
Isomorphism Theorems for Groupoids and Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2020, pp. 3967368:1-3967368:10, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Grigorii Horos, Victor Scerbacov, Alexandru Tcachenco, Tatiana Yatsko |
On groupoids with Bol-Moufang type identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. J. Moldova ![In: Comput. Sci. J. Moldova 28(3), pp. 314-327, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Katarzyna Grabowska, Janusz Grabowski, Marek Kus, Giuseppe Marmo |
Information geometry on groupoids: the case of singular metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.07621, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Branimir Seselja, Andreja Tepavcevic |
Ω-groups in the language of Ω-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 397, pp. 152-167, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Fabio Di Cosmo, Alberto Ibort, Giuseppe Marmo |
Groupoids and Coherent States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 26(4), pp. 1950017:1-1950017:22, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Hee Sik Kim, Joseph Neggers, Sun Shin Ahn |
Almost φ-fuzzy semi-ideals in groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(6), pp. 5361-5368, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Faruk Karaaslan |
Some properties of AG*-groupoids and AG-bands under SI-product operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(1), pp. 231-239, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Léo Jimenez |
Groupoids and Relative Internality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 84(3), pp. 987-1006, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Tauseef Asif, Faisal Yousafzai, Asghar Khan, Kostaq Hila |
Ideal Theory in Ordered AG-groupoids Based on Double Framed Soft Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 33(1-2), pp. 27-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Ivan Chajda, Helmut Länger, Jan Paseka |
The Logic of Lattice Effect Algebras Based on Induced Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 33(3), pp. 161-175, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Xiaohong Zhang 0001, Yingcang Ma, Peng Yu |
On Two Conjectures of Abel Grassmann's Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(6), pp. 816, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Alberto Ibort, Miguel A. Rodríguez |
On the Structure of Finite Groupoids and Their Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(3), pp. 414, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Faiz Muhammad Khan, Hidayat Ullah Khan 0001, Safyan Mukhtar, Asghar Khan, Nor Haniza Sarmin |
Some Innovative Types of Fuzzy Ideals in AG-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Syst. ![In: J. Intell. Syst. 28(4), pp. 649-667, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Desmond G. Fitzgerald |
Groupoids on a skew lattice of objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Discret. Appl. Math. ![In: Art Discret. Appl. Math. 2(2), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Diogo Kendy Matsumoto, Atsuhiko Mizusawa |
Characterizations of the Simple Non-Confusing Travel Groupoids on a Finite Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 35(1), pp. 321-334, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Dmitry Shkatov, Clint J. van Alten |
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.05556, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Alexandre Popoff, Moreno Andreatta, Andrée C. Ehresmann |
Groupoids and Wreath Products of Musical Transformations: A Categorical Approach from poly-Klumpenhouwer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCM ![In: Mathematics and Computation in Music - 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings, pp. 33-45, 2019, Springer, 978-3-030-21391-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Stefano Piceghello |
Coherence for Monoidal Groupoids in HoTT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., pp. 8:1-8:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-158-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Mike Behrisch, Hajime Machida |
An Approach Toward Classification of Minimal Groupoids on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019, pp. 164-169, 2019, IEEE, 978-1-7281-0092-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Giorgi Arabidze |
Groupoids in categories with partial covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
22 | Muhammad Izhar, Asghar Khan, Kostaq Hila |
Double-framed soft generalized bi-ideals of intra-regular AG-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 35(4), pp. 4701-4715, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Muhammad Izhar, Asghar Khan, Tariq Mahmood 0002 |
(M, N)-Double framed soft ideals of Abel Grassmann's groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 35(6), pp. 6313-6327, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Venus Amjid, Faisal Yousafzai, Kostaq Hila |
A Study of Ordered Ag-Groupoids in terms of Semilattices via Smallest (Fuzzy) Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2018, pp. 8464295:1-8464295:8, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Pierre-Alain Jacqmin, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale |
On Fibrations Between Internal Groupoids and Their Normalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 1015-1039, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Alan S. Cigoli, Tomas Everaert, Marino Gran |
A Relative Monotone-Light Factorization System for Internal Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 931-942, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Nick Gill, Neil I. Gillespie, Jason Semeraro |
Conway Groupoids and Completely Transitive Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 38(2), pp. 399-442, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | |
Acyclicity in finite groups and groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08664, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Jung Rae Cho, Jeongmi Park, Yoshio Sano |
T-neighbor Systems and Travel Groupoids on a Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 33(6), pp. 1521-1529, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu |
Some remarks on connectors and groupoids in Goursat categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(3), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Volodymyr Nekrashevych |
Growth of étale groupoids and simple algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(2), pp. 375-397, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Nouf AlYamani, N. D. Gilbert, E. C. Miller |
Fibrations of Ordered Groupoids and the Factorization of Ordered Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 24(2), pp. 121-146, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Diogo Kendy Matsumoto, Atsuhiko Mizusawa |
A Construction of Smooth Travel Groupoids on Finite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(3), pp. 1117-1124, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ivan Chajda, Sándor Radeleczki |
Involutive right-residuated l-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 20(1), pp. 119-131, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Faisal Yousafzai, Naveed Yaqoob, Anwar Zeb |
On generalized fuzzy ideals of ordered \(\mathcal {AG}\) -groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 7(6), pp. 995-1004, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jakob von Raumer |
Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 28-33, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jacques Carette, Amr Sabry |
Computing with Semirings and Weak Rig Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 123-148, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Osman Mucuk, Tunçar Sahan, Nazmiye Alemdar |
Normality and Quotients in Crossed Modules and Group-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(3), pp. 415-428, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Jung Rae Cho, Jeongmi Park, Yoshio Sano |
T-partition systems and travel groupoids on a graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.00363, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | James R. Hughes |
Using Fundamental Groups and Groupoids of Chord Spaces to Model Voice Leading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCM ![In: Mathematics and Computation in Music - 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings, pp. 267-278, 2015, Springer, 978-3-319-20602-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Hajime Machida, Tamás Waldhauser |
Lazy Clones and Essentially Minimal Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015, pp. 199-204, 2015, IEEE Computer Society, 978-1-4799-1777-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Faisal Yousafzai, Asghar Khan, Venus Amjad, Anwar Zeb |
On fuzzy fully regular ordered AG\mathcal{AG}-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 26(6), pp. 2973-2982, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Faisal Yousafzai, Madad Khan, Bijan Davvaz, Shamsul Haq |
A note on fuzzy ordered AG-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 26(5), pp. 2251-2261, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Wieslaw A. Dudek, Madad Khan, Nasir Khan |
Characterizations of intra-regular Abel-Grassmann's groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 27(6), pp. 2915-2925, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Erkko Lehtonen |
Reconstructing Multisets over Commutative Groupoids and Affine Functions over Nonassociative Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 24(1), pp. 11-32, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Jianming Zhan 0001, Madad Khan, Saima Anis |
Characterizations of Abel-Grassmann's Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 23(1-2), pp. 73-96, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Marcelo P. Fiore |
Analytic functors between presheaf categories over groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 546, pp. 120-131, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | |
Finite Groupoids, Finite Coverings and Symmetries in Finite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.4599, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Martin Beaudry, Danny Dubé, Maxime Dubé, Mario Latendresse, Pascal Tesson |
Conservative groupoids recognize only regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 239, pp. 13-28, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Miroslawa Kolowska-Gawiejnowicz |
On Canonical Embeddings of Residuated Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 253-267, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Thorsten Altenkirch, Nuo Li, Ondrej Rypacek |
Some constructions on ω-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 4: 1-4: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Jeong Soon Han, Hee Sik Kim, Joseph Neggers |
On linear fuzzifications of groupoids with special emphasis on BCK-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 24(1), pp. 105-110, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|