Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
196 | Keith A. Hardie, Klaus Heiner Kamps, R. W. Kieboom |
A Homotopy 2-Groupoid of a Hausdorff Space. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
2-groupoid, 2-track, higher homotopy structures, fundamental groupoid, piecewise linear map, Gray tensor product, interchange 2-track, folding map, track, tree, homotopy, pasting |
105 | Matías L. del Hoyo, Elias Gabriel Minian |
Classical Invariants for Global Actions and Groupoid Atlases. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 19D99, 20L05, 18G55, 55U35 |
105 | Ronald Brown, George Janelidze |
Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
homotopy groupoids, Galois groupoids, double groupoids |
85 | Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien |
Circuits and Expressions with NOn-Associative Gates. |
CCC |
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 |
71 | Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi |
A 2-groupoid Characterisation of the Cubical Homotopy Pushout. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track |
65 | Nick D. Gilbert |
Flows on Regular Semigroups. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
groupoid, regular, flow, semigroup |
59 | Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
Groupoids and Conditional Symmetry. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Niovi Kehayopulu, Michael Tsingelis |
The embedding of an ordered groupoid into a poe-groupoid in terms of fuzzy sets. |
Inf. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Paul Tarau |
A Groupoid of Isomorphic Data Transformations. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms |
45 | Eugenia Cheng |
An omega-category with all Duals is an omega-groupoid. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18D50, 57R90, 18D10, 18D05 |
40 | Martin Beaudry |
Languages Recognized by Finite Aperiodic Groupoids. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Nelson Martins-Ferreira |
On the Structure of an Internal Groupoid. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | George Georgescu |
Reticulation of an integral complete l-groupoid: An axiomatic approach. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kasi Porselvi, G. Muhiuddin, Balasubramanian Elavarasan, Young Bae Jun, J. Catherine Grace John |
Hybrid Ideals in an AG-Groupoid. |
New Math. Nat. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Federico Olimpieri, Lionel Vaux Auclair |
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz |
∞-Groupoid Generated by an Arbitrary Topological λ-Model. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Dirceu Bagio, Antonio Paques, Hector Pinedo |
On partial skew groupoid rings. |
Int. J. Algebra Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Streicher |
The genesis of the groupoid model. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Juan Pablo Quijano, Pedro Resende |
Functoriality of Groupoid Quantales. II. |
Appl. Categorical Struct. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Niccolò Veltri, Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. |
Log. Methods Comput. Sci. |
2021 |
DBLP BibTeX RDF |
|
26 | Paul Wang |
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids. |
Ann. Pure Appl. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Han Yang, Junfei Liu |
Knowledge Graph Representation Learning as Groupoid: Unifying TransE, RotatE, QuatE, ComplEx. |
CIKM |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jens Hemelaer |
A Topological Groupoid Representing the Topos of Presheaves on a Monoid. |
Appl. Categorical Struct. |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira |
Computational Paths - A Weak Groupoid. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Federico Olimpieri, Lionel Vaux Auclair |
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Florio M. Ciaglia, Fabio Di Cosmo, Alberto Ibort, Giuseppe Marmo |
Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Akihiro Yamamura, Riki Kase, Tatiana Baginová Jajcayová |
Groupoid Action and Rearrangement Problem of Bicolor Arrays by Prefix Reversals. |
CSR |
2020 |
DBLP DOI BibTeX RDF |
|
26 | David Reutter, Jamie Vicary |
A classical groupoid model for quantum networks. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Peter Dybjer, Hugo Moeneclaey |
Finitary Higher Inductive Types in the Groupoid Model. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Bruno Bentzen |
Cubical informal type theory: the higher groupoid structure. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
26 | Fernando Tohmé, Gianluca Caterina, Rocco Gangle |
The class of states of the world as an -groupoid: identifying states of the world and hierarchies of belief. |
Int. J. Gen. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Levon Haykazyan, Rahim Moosa |
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. |
Ann. Pure Appl. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ivan Chajda, Helmut Länger, Jan Paseka |
The Groupoid-Based Logic for Lattice Effect Algebras. |
ISMVL |
2017 |
DBLP DOI BibTeX RDF |
|
26 | David Reutter, Jamie Vicary |
A Classical Groupoid Model for Quantum Networks. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Gonçalves 0004, Gabriela Yoneda |
Free path groupoid grading on Leavitt path algebras. |
Int. J. Algebra Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Enoch A-iyeh, James F. Peters |
Proximal groupoid patterns In digital images. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
26 | Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
On Computational Paths and the Fundamental Groupoid of a Type. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
26 | Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
On the Groupoid Model of Computational Paths. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
26 | Marc Lasson |
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
26 | David N. Pham |
A Categorical Approach to Groupoid Frobenius Algebras. |
Appl. Categorical Struct. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof Bar, Jamie Vicary |
Groupoid Semantics for Thermal Computing. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
26 | Alessandra Palmigiano, Riccardo Re |
Relational Representation of Groupoid Quantales. |
Order |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Alexandru Chirvasitu, Theo Johnson-Freyd |
The Fundamental Pro-groupoid of an Affine 2-scheme. |
Appl. Categorical Struct. |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Bijan Davvaz, Madad Khan, Saima Anis, Shamsul Haq |
Generalized Fuzzy Quasi-Ideals of an Intraregular Abel-Grassmann's Groupoid. |
J. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jeong Soon Han, Hee Sik Kim, Joseph Neggers |
The Hypergroupoid Semigroups as Generalizations of the Groupoid Semigroups. |
J. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Alessandra Palmigiano, R. Re |
Topological Groupoid Quantales. |
Stud Logica |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ivica Bosnjak, R. Madarász |
Remarks on the lattices of fuzzy subsets of a groupoid. |
Fuzzy Sets Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kul Hur, Keon-Chang Lee, Pyung-Ki Lim |
Intuitionistic Fuzzy G-Equivalence Relations and G-Congruences on a Groupoid. |
Int. J. Fuzzy Log. Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | K. C. Gupta, Tajinder Pal Singh |
Fuzzy G-equivalences and G-congruences on a groupoid under semibalanced maps. |
Fuzzy Sets Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | K. C. Gupta, Tajinder Pal Singh |
Fuzzy G-congruences on a groupoid. |
Fuzzy Sets Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Suryansu Ray |
The lattice of all idempotent fuzzy subsets of a groupoid. |
Fuzzy Sets Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Martin Hofmann 0001, Thomas Streicher |
The Groupoid Model Refutes Uniqueness of Identity Proofs |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jonathan D. H. Smith |
Finite Codes and Groupoid Words. |
Eur. J. Comb. |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen |
Sequent-systems and groupoid models. II. |
Stud Logica |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen |
Sequent-systems and groupoid models. I. |
Stud Logica |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Diane Johnson |
A (2, 11) combinatorial groupoid. |
Discret. Math. |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Robert Endre Tarjan |
Determining Whether a Groupoid is a Group. |
Inf. Process. Lett. |
1972 |
DBLP DOI BibTeX RDF |
|
26 | Peter Perkins |
An unsolvable provability problem for one variable groupoid equations. |
Notre Dame J. Formal Log. |
1972 |
DBLP DOI BibTeX RDF |
|
26 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice |
26 | Antonio R. Garzón, A. del Río |
Equivariant Extensions of Categorical Groups. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
monoidal groupoid, graded categorical group, equivariant cohomology, groups with operators, obstruction, extensions |
26 | Keith A. Hardie, Klaus Heiner Kamps, R. W. Kieboom |
A Homotopy Bigroupoid of a Topological Space. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
homotopy bigroupoid, bigroupoid, bicategory, 2-groupoid, homotopical algebra, homotopy operations, coherence |
26 | Dominique Bourn |
The Structural Nature of the Nerve Functor for n-Groupoids. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
simplicial object, nerve, n-groupoid, fibration |
20 | Rodrick Wallace, Deborah Wallace |
Code, Context, and Epigenetic Catalysis in Gene Expression. |
Trans. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Juha Kontinen, Heribert Vollmer |
On Second-Order Monadic Groupoidal Quantifiers. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Dörn, Thomas Thierauf |
The Quantum Complexity of Group Testing. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Raouf Dridi, Michel Petitot |
Towards a new ode solver based on cartan's equivalence method. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
cartan's equivalence method, ode-solver, differential algebra, equivalence problems |
20 | Masahiro Miyakawa, Ivo G. Rosenberg, Hisayuki Tatsumi |
Associativity Test in Hypergroupoids. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
hypergroupoid, associativity |
20 | Pilar Carrasco, Juan Martínez-Moreno |
Simplicial Cohomology with Coefficients in Symmetric Categorical Groups. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
categorical groups, simplicial set, nerve, homotopy classes, cohomology |
20 | Andrei A. Bulatov |
A Graph of a Relational Structure and Constraint Satisfaction Problems. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Martin Beaudry, François Lemieux, Denis Thérien |
Star-Free Open Languages and Aperiodic Loops. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | David A. Mix Barrington, Peter Kadau, Klaus-Jörn Lange, Pierre McKenzie |
On the Complexity of Some Problems on Groups Input as Multiplication Tables. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
logic, circuit complexity, group membership, integer arithmetic |
20 | Gabriel Juhás |
On Semantics of Petri Nets over Partial Algebra. |
SOFSEM |
1999 |
DBLP DOI BibTeX RDF |
|