EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Year: 1975
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 8.

Book Section

Fokkinga, M.M. (1975) Recursieve procedures en eenvoudige inductie asserties. In: Colloquium Programmacorrectheid. Mathematical Centre Syllabus 21. Mathematical Centre, Amsterdam, The Netherlands, pp. 151-165. ISBN 90-6196-103-3

Internal Report

Asveld, P.R.J. (1975) On Some Controlled ETOL-systems and Languages. Memorandum 59, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Asveld, P.R.J. (1975) Controlled Iteration Grammars and Hyper-AFL's. Memorandum 85, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Asveld, P.R.J. (1975) Rational, Algebraic and Hyper-Algebraic Extensions of Families of Languages. Memorandum 90, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Asveld, P.R.J. and van Leeuwen, J. (1975) Infinite Chains of Hyper-AFL's. Memorandum 99, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Fokkinga, M.M. (1975) Comments on a paper by Milner concerning the semantics of parallelism. Memorandum TW-Memo 71, Department of Applied Mathematics, University of Twente, Enschede.
Nijholt, A. (1975) On the covering of parsable grammars. Memorandum 96, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Nijholt, A. (1975) Regular extensions of some classes of grammars. Memorandum 100, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

This list was generated on Mon May 29 08:37:02 CEST 2017.