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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 209-234, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(6), pp. 689-721, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
85 | 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 |
71 | Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi |
A 2-groupoid Characterisation of the Cubical Homotopy Pushout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(3), pp. 245-255, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(2), pp. 147-155, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
|
51 | Niovi Kehayopulu, Michael Tsingelis |
The embedding of an ordered groupoid into a poe-groupoid in terms of fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 152, pp. 231-236, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Paul Tarau |
A Groupoid of Isomorphic Data Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 170-185, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 439-453, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18D50, 57R90, 18D10, 18D05 |
40 | 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 |
|
26 | Nelson Martins-Ferreira |
On the Structure of an Internal Groupoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 39, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | George Georgescu |
Reticulation of an integral complete l-groupoid: An axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 465, pp. 108568, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 19(1), pp. 289-305, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz |
∞-Groupoid Generated by an Arbitrary Topological λ-Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 30(3), pp. 465-488, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Dirceu Bagio, Antonio Paques, Hector Pinedo |
On partial skew groupoid rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 31(1), pp. 1-17, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Streicher |
The genesis of the groupoid model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(9), pp. 1003-1005, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Juan Pablo Quijano, Pedro Resende |
Functoriality of Groupoid Quantales. II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(4), pp. 629-670, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Niccolò Veltri, Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(2), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | 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 |
|
26 | Han Yang, Junfei Liu |
Knowledge Graph Representation Learning as Groupoid: Unifying TransE, RotatE, QuatE, ComplEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 2311-2320, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jens Hemelaer |
A Topological Groupoid Representing the Topos of Presheaves on a Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 28(5), pp. 749-772, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.07769, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Federico Olimpieri, Lionel Vaux Auclair |
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02665, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.08150, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(11), pp. 1292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 929-943, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Akihiro Yamamura, Riki Kase, Tatiana Baginová Jajcayová |
Groupoid Action and Rearrangement Problem of Bicolor Arrays by Prefix Reversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings, pp. 419-431, 2020, Springer, 978-3-030-50025-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | David Reutter, Jamie Vicary |
A classical groupoid model for quantum networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Peter Dybjer, Hugo Moeneclaey |
Finitary Higher Inductive Types in the Groupoid Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018, pp. 119-134, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Bruno Bentzen |
Cubical informal type theory: the higher groupoid structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08490, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 47(6), pp. 632-645, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Levon Haykazyan, Rahim Moosa |
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(8), pp. 705-730, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ivan Chajda, Helmut Länger, Jan Paseka |
The Groupoid-Based Logic for Lattice Effect Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017, pp. 230-235, 2017, IEEE Computer Society, 978-1-5090-5496-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | David Reutter, Jamie Vicary |
A Classical Groupoid Model for Quantum Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 19:1-19:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Gonçalves 0004, Gabriela Yoneda |
Free path groupoid grading on Leavitt path algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(6), pp. 1217-1235, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Enoch A-iyeh, James F. Peters |
Proximal groupoid patterns In digital images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.01842, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.06429, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.02721, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Marc Lasson |
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014, pp. 229-244, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | David N. Pham |
A Categorical Approach to Groupoid Frobenius Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 22(2), pp. 419-455, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof Bar, Jamie Vicary |
Groupoid Semantics for Thermal Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.3280, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Alessandra Palmigiano, Riccardo Re |
Relational Representation of Groupoid Quantales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 30(1), pp. 65-83, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Alexandru Chirvasitu, Theo Johnson-Freyd |
The Fundamental Pro-groupoid of an Affine 2-scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 21(5), pp. 469-522, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2012, pp. 627075:1-627075:16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jeong Soon Han, Hee Sik Kim, Joseph Neggers |
The Hypergroupoid Semigroups as Generalizations of the Groupoid Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2012, pp. 717698:1-717698:8, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Alessandra Palmigiano, R. Re |
Topological Groupoid Quantales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 95(1-2), pp. 125-137, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ivica Bosnjak, R. Madarász |
Remarks on the lattices of fuzzy subsets of a groupoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(20), pp. 3007-3012, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 8(4), pp. 276-283, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | K. C. Gupta, Tajinder Pal Singh |
Fuzzy G-equivalences and G-congruences on a groupoid under semibalanced maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 108(1), pp. 111-116, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | K. C. Gupta, Tajinder Pal Singh |
Fuzzy G-congruences on a groupoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 93(2), pp. 211-222, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Suryansu Ray |
The lattice of all idempotent fuzzy subsets of a groupoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 96(2), pp. 239-245, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Martin Hofmann 0001, Thomas Streicher |
The Groupoid Model Refutes Uniqueness of Identity Proofs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 208-212, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jonathan D. H. Smith |
Finite Codes and Groupoid Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 12(4), pp. 331-339, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen |
Sequent-systems and groupoid models. II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 48(1), pp. 41-65, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen |
Sequent-systems and groupoid models. I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 47(4), pp. 353-385, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Diane Johnson |
A (2, 11) combinatorial groupoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 19(3), pp. 265-271, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Robert Endre Tarjan |
Determining Whether a Groupoid is a Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 1(3), pp. 120-124, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
26 | Peter Perkins |
An unsolvable provability problem for one variable groupoid equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 13(3), pp. 359-362, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
26 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 251-255, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(2), pp. 131-140, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 311-327, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
20 | Rodrick Wallace, Deborah Wallace |
Code, Context, and Epigenetic Catalysis in Gene Expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology XI, pp. 283-334, 2009, Springer, 978-3-642-04185-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Juha Kontinen, Heribert Vollmer |
On Second-Order Monadic Groupoidal Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 238-248, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Dörn, Thomas Thierauf |
The Quantum Complexity of Group Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 506-518, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Raouf Dridi, Michel Petitot |
Towards a new ode solver based on cartan's equivalence method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 135-142, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore, pp. 23, 2006, IEEE Computer Society, 0-7695-2532-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hypergroupoid, associativity |
20 | Pilar Carrasco, Juan Martínez-Moreno |
Simplicial Cohomology with Coefficients in Symmetric Categorical Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(3), pp. 257-285, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 448-457, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 15th Annual IEEE Conference on Computational Complexity, Florence, Italy, July 4-7, 2000, pp. 62-69, 2000, IEEE Computer Society, 0-7695-0674-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
logic, circuit complexity, group membership, integer arithmetic |
20 | Gabriel Juhás |
On Semantics of Petri Nets over Partial Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 414-421, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|