Search results for "groupoids"

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).	Symmetry	2020	DBLP DOI BibTeX RDF
82	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
69	Rade T. Zivaljevic	Combinatorial Groupoids, Cubical Complexes, and the Lovász Conjecture.	Discret. Comput. Geom.	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.	Appl. Categorical Struct.	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.	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
60	Pedro Sánchez Terraf	Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A12, 20M10
60	Domenico Fiorenza	Sums over Graphs and Integration over Discrete Groupoids.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 81T18, Secondary 18D20, 18D50
60	Martin Beaudry	Languages Recognized by Finite Aperiodic Groupoids.	STACS	1996	DBLP DOI BibTeX RDF
60	Marek Szczerba	Representation Theorems for Residuated Groupoids.	LACL	1996	DBLP DOI BibTeX RDF
58	Gabriel Juhás	Reasoning about Algebraic Generalisation of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
43	Xiaogang An, Xiaohong Zhang 0001, Zhirou Ma	Two Open Problems on CA-Groupoids and Cancellativities of T2CA-Groupoids.	Axioms	2022	DBLP DOI BibTeX RDF
43	Zhirou Ma, Xiaohong Zhang 0001, Florentin Smarandache	Some Results on Various Cancellative CA-Groupoids and Variant CA-Groupoids.	Symmetry	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).	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
43	Ronald Brown	Homotopy theory, and change of base for groupoids and multiple groupoids.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
43	Abdul Razak bin Salleh	Union theorems for double groupoids and groupoids: some generalisations and applications.		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.	HSCC	2007	DBLP DOI BibTeX RDF
41	Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal	Groupoids and Conditional Symmetry.	CP	2007	DBLP DOI BibTeX RDF
41	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
39	M. Bullejos, E. Faro, Víctor Blanco	A Full and Faithful Nerve for 2-Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF
39	Martin Beaudry, François Lemieux, Denis Thérien	Star-Free Open Languages and Aperiodic Loops.	STACS	2001	DBLP DOI BibTeX RDF
39	Hervé Caussinus, François Lemieux	The Complexity of Computing over Quasigroups.	FSTTCS	1994	DBLP DOI BibTeX RDF
22	Xiaogang An, Mingming Chen	On type-2 cyclic associative groupoids and inflationary pseudo general residuated lattices.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
22	Wesley G. Lautenschlaeger, Thaísa Tamusiunas	Maximal Ordered Groupoids and a Galois Correspondence for Inverse Semigroup Orthogonal Actions.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
22	Saikat Chatterjee, Praphulla Koushik	Extension of Topological Groupoids and Hurewicz Morphisms.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
22	Xiaohong Zhang 0001, Rong Liang	Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras.	Axioms	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.	Symmetry	2023	DBLP DOI BibTeX RDF
22	Pierre Clairambault, Simon Forest	The Cartesian Closed Bicategory of Thin Spans of Groupoids.	CoRR	2023	DBLP DOI BibTeX RDF
22	Carles Cardó	A look at the Kolmogorov complexity of finite groupoids and algebras.	CoRR	2023	DBLP DOI BibTeX RDF
22	Dmitry Shkatov, Clint J. van Alten	Complexity of the Universal Theory of Residuated Ordered Groupoids.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
22	Georg Struth	Catoids, Categories, Groupoids.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
22	Pierre Clairambault, Simon Forest	The Cartesian Closed Bicategory of Thin Spans of Groupoids.	LICS	2023	DBLP DOI BibTeX RDF
22	Vikraman Choudhury, Jacek Karwowski, Amr Sabry	Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
22	Xiaogang An, Xiaohong Zhang 0001	Transposition Regular TA-Groupoids and Their Structures.	Axioms	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.	Axioms	2022	DBLP DOI BibTeX RDF
22	Ilwoo Cho, Palle E. T. Jorgensen	An Index for Graphs and Graph Groupoids.	Axioms	2022	DBLP DOI BibTeX RDF
22	Dmitry Bredikhin	On Groupoids of Relations with One Conjunctive Operation of Rank 2.	Stud Logica	2022	DBLP DOI BibTeX RDF
22	Oscar Cosserat	Symplectic Groupoids for Poisson Integrators.	CoRR	2022	DBLP DOI BibTeX RDF
22	Nyumbu Chishwashwa, Vance Faber, Noah Streib	Digraph Networks and Groupoids.	CoRR	2022	DBLP DOI BibTeX RDF
22	E. Sameri, Rajab Ali Borzooei	Extended implicative groupoids.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
22	Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini	Elementary fibrations of enriched groupoids.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
22	Thorsten Altenkirch	Martin Hofmann's contributions to type theory: Groupoids and univalence.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
22	Michel Petitjean	Global Symmetries, Local Symmetries and Groupoids.	Symmetry	2021	DBLP DOI BibTeX RDF
22	Antoine Allioux, Eric Finster, Matthieu Sozeau	Types are Internal ∞-Groupoids.	CoRR	2021	DBLP BibTeX RDF
22	Vikraman Choudhury, Jacek Karwowski, Amr Sabry	Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages.	CoRR	2021	DBLP BibTeX RDF
22	E. Sameri, Rajab Ali Borzooei, D. Ebrahimi Bagha	Filter theory of extended implicative groupoids.	Soft Comput.	2021	DBLP DOI BibTeX RDF
22	Roman O. Popovych	Point and contact equivalence groupoids of two-dimensional quasilinear hyperbolic equations.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
22	Paul Wang	Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
22	Eric Finster, Antoine Allioux, Matthieu Sozeau	Types Are Internal ∞-Groupoids.	LICS	2021	DBLP DOI BibTeX RDF
22	Katarzyna Grabowska, Janusz Grabowski, Marek Kus, Giuseppe Marmo	Information Geometry on Groupoids: The Case of Singular Metrics.	Open Syst. Inf. Dyn.	2020	DBLP DOI BibTeX RDF
22	Jesús Ávila, Víctor Marín, Hector Pinedo	Isomorphism Theorems for Groupoids and Some Applications.	Int. J. Math. Math. Sci.	2020	DBLP DOI BibTeX RDF
22	Grigorii Horos, Victor Scerbacov, Alexandru Tcachenco, Tatiana Yatsko	On groupoids with Bol-Moufang type identities.	Comput. Sci. J. Moldova	2020	DBLP BibTeX RDF
22	Katarzyna Grabowska, Janusz Grabowski, Marek Kus, Giuseppe Marmo	Information geometry on groupoids: the case of singular metrics.	CoRR	2020	DBLP BibTeX RDF
22	Branimir Seselja, Andreja Tepavcevic	Ω-groups in the language of Ω-groupoids.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
22	Fabio Di Cosmo, Alberto Ibort, Giuseppe Marmo	Groupoids and Coherent States.	Open Syst. Inf. Dyn.	2019	DBLP DOI BibTeX RDF
22	Hee Sik Kim, Joseph Neggers, Sun Shin Ahn	Almost φ-fuzzy semi-ideals in groupoids.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
22	Faruk Karaaslan	Some properties of AG*-groupoids and AG-bands under SI-product operation.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
22	Léo Jimenez	Groupoids and Relative Internality.	J. Symb. Log.	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.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
22	Ivan Chajda, Helmut Länger, Jan Paseka	The Logic of Lattice Effect Algebras Based on Induced Groupoids.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
22	Xiaohong Zhang 0001, Yingcang Ma, Peng Yu	On Two Conjectures of Abel Grassmann's Groupoids.	Symmetry	2019	DBLP DOI BibTeX RDF
22	Alberto Ibort, Miguel A. Rodríguez	On the Structure of Finite Groupoids and Their Representations.	Symmetry	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.	J. Intell. Syst.	2019	DBLP DOI BibTeX RDF
22	Desmond G. Fitzgerald	Groupoids on a skew lattice of objects.	Art Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
22	Diogo Kendy Matsumoto, Atsuhiko Mizusawa	Characterizations of the Simple Non-Confusing Travel Groupoids on a Finite Graph.	Graphs Comb.	2019	DBLP DOI BibTeX RDF
22	Dmitry Shkatov, Clint J. van Alten	Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids.	CoRR	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.	MCM	2019	DBLP DOI BibTeX RDF
22	Stefano Piceghello	Coherence for Monoidal Groupoids in HoTT.	TYPES	2019	DBLP DOI BibTeX RDF
22	Mike Behrisch, Hajime Machida	An Approach Toward Classification of Minimal Groupoids on a Finite Set.	ISMVL	2019	DBLP DOI BibTeX RDF
22	Giorgi Arabidze	Groupoids in categories with partial covers.		2019	RDF
22	Muhammad Izhar, Asghar Khan, Kostaq Hila	Double-framed soft generalized bi-ideals of intra-regular AG-groupoids.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
22	Muhammad Izhar, Asghar Khan, Tariq Mahmood 0002	(M, N)-Double framed soft ideals of Abel Grassmann's groupoids.	J. Intell. Fuzzy Syst.	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.	Adv. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
22	Pierre-Alain Jacqmin, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale	On Fibrations Between Internal Groupoids and Their Normalizations.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
22	Alan S. Cigoli, Tomas Everaert, Marino Gran	A Relative Monotone-Light Factorization System for Internal Groupoids.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
22	Nick Gill, Neil I. Gillespie, Jason Semeraro	Conway Groupoids and Completely Transitive Codes.	Comb.	2018	DBLP DOI BibTeX RDF
22		Acyclicity in finite groups and groupoids.	CoRR	2018	DBLP BibTeX RDF
22	Jung Rae Cho, Jeongmi Park, Yoshio Sano	T-neighbor Systems and Travel Groupoids on a Graph.	Graphs Comb.	2017	DBLP DOI BibTeX RDF
22	Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu	Some remarks on connectors and groupoids in Goursat categories.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
22	Volodymyr Nekrashevych	Growth of étale groupoids and simple algebras.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
22	Nouf AlYamani, N. D. Gilbert, E. C. Miller	Fibrations of Ordered Groupoids and the Factorization of Ordered Functors.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
22	Diogo Kendy Matsumoto, Atsuhiko Mizusawa	A Construction of Smooth Travel Groupoids on Finite Graphs.	Graphs Comb.	2016	DBLP DOI BibTeX RDF
22	Ivan Chajda, Sándor Radeleczki	Involutive right-residuated l-groupoids.	Soft Comput.	2016	DBLP DOI BibTeX RDF
22	Faisal Yousafzai, Naveed Yaqoob, Anwar Zeb	On generalized fuzzy ideals of ordered \(\mathcal {AG}\) -groupoids.	Int. J. Mach. Learn. Cybern.	2016	DBLP DOI BibTeX RDF
22	Jakob von Raumer	Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover.	ICMS	2016	DBLP DOI BibTeX RDF
22	Jacques Carette, Amr Sabry	Computing with Semirings and Weak Rig Groupoids.	ESOP	2016	DBLP DOI BibTeX RDF
22	Osman Mucuk, Tunçar Sahan, Nazmiye Alemdar	Normality and Quotients in Crossed Modules and Group-groupoids.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
22	Jung Rae Cho, Jeongmi Park, Yoshio Sano	T-partition systems and travel groupoids on a graph.	CoRR	2015	DBLP BibTeX RDF
22	James R. Hughes	Using Fundamental Groups and Groupoids of Chord Spaces to Model Voice Leading.	MCM	2015	DBLP DOI BibTeX RDF
22	Hajime Machida, Tamás Waldhauser	Lazy Clones and Essentially Minimal Groupoids.	ISMVL	2015	DBLP DOI BibTeX RDF
22	Faisal Yousafzai, Asghar Khan, Venus Amjad, Anwar Zeb	On fuzzy fully regular ordered AG\mathcal{AG}-groupoids.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
22	Faisal Yousafzai, Madad Khan, Bijan Davvaz, Shamsul Haq	A note on fuzzy ordered AG-groupoids.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
22	Wieslaw A. Dudek, Madad Khan, Nasir Khan	Characterizations of intra-regular Abel-Grassmann's groupoids.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
22	Erkko Lehtonen	Reconstructing Multisets over Commutative Groupoids and Affine Functions over Nonassociative Semirings.	Int. J. Algebra Comput.	2014	DBLP DOI BibTeX RDF
22	Jianming Zhan 0001, Madad Khan, Saima Anis	Characterizations of Abel-Grassmann's Groupoids.	J. Multiple Valued Log. Soft Comput.	2014	DBLP BibTeX RDF
22	Marcelo P. Fiore	Analytic functors between presheaf categories over groupoids.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
22		Finite Groupoids, Finite Coverings and Symmetries in Finite Structures.	CoRR	2014	DBLP BibTeX RDF
22	Martin Beaudry, Danny Dubé, Maxime Dubé, Mario Latendresse, Pascal Tesson	Conservative groupoids recognize only regular languages.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
22	Miroslawa Kolowska-Gawiejnowicz	On Canonical Embeddings of Residuated Groupoids.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
22	Thorsten Altenkirch, Nuo Li, Ondrej Rypacek	Some constructions on ω-groupoids.	LFMTP	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.	J. Intell. Fuzzy Syst.	2013	DBLP DOI BibTeX RDF