BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Rot M.Sammartino A.S.0001 B.Klin Michal Szynwelski
Talks about:
nomin (2) automata (1) separ (1) renam (1) learn (1) set (1)

Person: Joshua Moerman

DBLP DBLP: Moerman:Joshua

Contributed to:

CSL 20202020
POPL 20172017

Wrote 2 papers:

CSL-2020-MoermanR #set
Separation and Renaming in Nominal Sets (JM, JR), p. 17.
POPL-2017-MoermanS0KS #automaton #learning
Learning nominal automata (JM, MS, AS0, BK, MS), pp. 613–625.

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.