BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
recogn (2)
onli (2)
model (2)
languag (2)
regular (2)

Stem groupoid$ (all stems)

6 papers:

LICSLICS-2013-Otto #finite #modelling #symmetry
Groupoids, Hypergraphs, and Symmetries in Finite Models (MO), pp. 53–62.
LATALATA-2012-DubeLT #regular expression
Conservative Groupoids Recognize Only Regular Languages (DD, ML, PT), pp. 216–227.
CSLCSL-2012-AltenkirchR #approach
A Syntactical Approach to Weak ω-Groupoids (TA, OR), pp. 16–30.
ICALPICALP-2005-BeaudryLT #regular expression
Groupoids That Recognize Only Regular Languages (MB, FL, DT), pp. 421–433.
LICSLICS-1994-HofmannS #proving
The Groupoid Model Refutes Uniqueness of Identity Proofs (MH, TS), pp. 208–212.
CSLCSL-1987-GermanoM #category theory #diagrams
Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration (GG, SM), pp. 64–80.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.