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

Collaborated with:
Talks about:
descript (1) automata (1) symmetr (1) complex (1) verifi (1) differ (1) unari (1) self (1) non (1)

Person: Laurette Marais

DBLP DBLP: Marais:Laurette

Contributed to:

AFL 20172017

Wrote 1 papers:

AFL-2017-MaraisZ #automaton #complexity #difference #self #symmetry #verification
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (LM, LvZ), pp. 157–169.

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.