Search results for "groupoid"

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