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:
practic (2)
logic (2)
techniqu (2)
second (1)
automaton (1)

Stem mona$ (all stems)

5 papers:

TACASTACAS-2000-BodeveixF #infinity #named #validation
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
CIAACIAA-2000-KlarlundMS #implementation
MONA Implementation Secrets (NK, AM, MIS), pp. 182–194.
MONA 1.x: New Techniques for WS1S and WS2S (JE, NK, AM), pp. 516–520.
Mona & Fido: The Logic-Automaton Connection in Practice (NK), pp. 311–326.
TACASTACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.

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.