Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Spoto, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


Ruys, T.C. and Aan de Brugh, N.H.M. (2007) MMC: the Mono Model Checker. In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal. pp. 149-160. Electronic Notes in Theoretical Computer Science 190 (1). Elsevier. ISSN 1571-0661


Asveld, P.R.J. (2003) Generating All Permutations by Context-Free Grammars in Chomsky Normal Form. In: Algebraic Methods in Language Processing (AMiLP 2003), Proceedings 3rd AMAST Workshop on Language Processing, August 25-27, 2003, Verona, Italy. pp. 55-68. TWTL 21. Twente University Press. ISSN 0929-0672
Spoto, F. and Scollo, G. and Nijholt, A., ed. (2003) Algebraic Methods in Language Processing. Twente Workshops on Language Technology 21. University of Twente, Enschede. ISSN 0929-0672

This list was generated on Mon May 29 06:00:22 CEST 2017.