The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for groupoid with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-2000 (16) 2001-2008 (17) 2009-2016 (16) 2017-2021 (20) 2022-2023 (5)
Publication types (Num. hits)
article(53) inproceedings(21)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 25 keywords

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