hmilogo

Publications of the year 1987 (21)

 

1987

Dissertations

H. Alblas Pass-Oriented Attributed Evaluation and Attributed Tree Transformations, PhD Thesis, University of Twente, October 23 1987, ISBN not assigned, Pages: 216, Promotors: L.A.M. Verbeek, Ass. Promotors: J. Engelfriet, 1987 [ BiBTeX Eprints 

 

Journal Papers

P.R.J. Asveld Another Family of Fibonacci-like Sequences, The Fibonacci Quarterly, 25:361-364, ISSN 0015-0517, 1987 [ BiBTeX Eprints  Download PDF document  Download PDF document
M.M. Fokkinga A correctness proof of sorting by means of formal procedures, Science of Computer Programming, 9(3):263-269, ISSN 0167-6423, 1987 *** ISI Impact 0.622 *** [ BiBTeX Eprints  DOI>  Download PDF document
P.R.J. Asveld A Family of Fibonacci-like Sequences, The Fibonacci Quarterly, 25:81-83, ISSN 0015-0517, 1987 [ BiBTeX Eprints  Download PDF document  Download PDF document

 

Books

Essays on Concepts, Formalisms, and Tools -- A Collection of Papers Dedicated to Leo A. M. VerbeekP.R.J. Asveld and A. Nijholt (eds), CWI Tract, Vol: 42. Centre for Mathematics and Computer Science, Amsterdam, ISBN 90-6196-326-5, pp. 278, 1987 [ BiBTeX Eprints 

 

Book Chapters

J.A. Hogendorp Nonterminal Separating Macro Grammars, pp. 77-87. In Essays on Concepts, Formalisms, and Tools, P.R.J. Asveld and A. Nijholt (eds), Centre for Mathematics and Computer Science, Amsterdam, ISBN 90-6196-326-5, 1987 [ BiBTeX Eprints  Download PDF document
H.J.A. op den Akker On Covers and Left-Corner Parses, pp. 107-127. In Essays on concepts, formalisms, and tools, P.R.J. Asveld and A. Nijholt (eds), Stichting Mathematisch Centrum, Amsterdam, ISBN 90 6196 326 5, 1987 [ BiBTeX Eprints 
P.R.J. Asveld and A. Nijholt Introduction, pp. 1-7. In Essays on Concepts, Formalisms, and Tools - A Collection of Papers Dedicated to Leo A.M. Verbeek, P.R.J. Asveld and A. Nijholt (eds), CWI (Centrum voor Wiskunde en Informatica), Amsterdam, ISBN 90-6196-326-5, 1987 [ BiBTeX Eprints 
P.R.J. Asveld Complexity Aspects of Iterated Rewriting -- A Survey, pp. 89-105. In Essays on Concepts, Formalisms, and Tools, P.R.J. Asveld and A. Nijholt (eds), CWI Tract 42, Amsterdam, ISBN 90-6196-326-5, 1987 [ BiBTeX Eprints 
M.M. Fokkinga Programming Language Concepts - The Lambda Calculus Approach, pp. 129-162. In Essays on concepts, formalisms, and tools, P.R.J. Asveld and A. Nijholt (eds), CWI, Amsterdam, The Netherlands, ISBN 90 6196 326 5, 1987 [ BiBTeX Eprints  Download HTML document  Download PDF document
A. Nijholt From mechanical to theoretical - Aspects of the origins of Theoretical Computer Science, pp. 9-42. In Essays on Concepts, Formalisms, and Tools, P.R.J. Asveld and A. Nijholt (eds), Center for Mathematics and Computer Science, Amsterdam, ISBN 90-6196-326-5, 1987 [ BiBTeX Eprints 
M.M. Fokkinga Transformatie van Specificatie tot Implementatie, pp. 53-86. In Colloquium Software Specificatie Technieken, J.A.A.M. Poirters and G.J. Schoenmaker (eds), Academic Service, Schoonhoven, The Netherlands, ISBN 90-6233-269-2, 1987 [ BiBTeX Eprints 
F.M.G. de Jong The Compositional Nature of (In)Definiteness , pp. 270-285. In The Representation of (In)definitenss, E. Reuland and A. ter Meulen (eds), MIT Press, Cambridge, Mass., ISBN 9780262181266, 1987 [ BiBTeX Eprints  Download PDF document

 

Contributions to Proceedings

M.M. Fokkinga Backtracking and Branch-and-Bound Functionally Expressed, in Computing Science in the Netherlands (CSN 1987), SION, ISSN 1388-5987, pp. 207-224, 1987 [ BiBTeX Eprints 
F.M.G. de Jong and L. Appelo Synonymy and Translation, in Proceedings of the 6th Amsterdam Colloquium, ITLI, Amsterdam, ISBN not assigned, pp. 65-86, 1987 [ BiBTeX Eprints  Download PDF document

 

Reports

J.A. Hogendorp Nonterminal Separating Macro Grammars, Memorandum, INF-87-13, Enschede, Dept. of Computer Science, University of Twente, Pages: 12, 1987 [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga An Elementary Semantics for Cardelli's System of Multiple Inheritance, Memoranda Informatica, 87-33, Enschede, The Netherlands, Department of Computer Science, University of Twente, 1987 [ BiBTeX Eprints 
P.R.J. Asveld Complexity Aspects of Iterated Rewriting -- A Survey, Memorandum, INF-87-25, Enschede, Dept. of Computer Science, University of Twente, Pages: 17, 1987 [ BiBTeX Eprints 
L.A.M. Verbeek, A. Nijholt and P.R.J. Asveld Theoretische Informatica, Memorandum Informatica, 87-08, Enschede, University of Twente, Pages: 12, 1987 [ BiBTeX Eprints  Download PDF document

 

Misc

P.R.J. Asveld Review of "W. Struckmann, L systems and categories of automata, Elektron. Informationsverarb. Kybernet. 21 (1985) 411-416", book_review, 1987 [ BiBTeX Eprints  Download PDF document
P.R.J. Asveld Review of "R.E. Stearns H.B. Hunt III, On the equivalence and containment problems for unambiguous regular expressions, regular grammars and finite automata, SIAM J. Comput. 14 (1985) 598-611", book_review, 1987 [ BiBTeX Eprints  Download PDF document

old Parlevink website   colophon   [Back] .