Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Chapter
1987
10 Downloads (Pure)

Nonterminal Separating Macro Grammars

Hogendorp, J. A., 1987, Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. Asveld, P. R. J. & Nijholt, A. (eds.). Amsterdam: Centre for Mathematics and Computer Science, p. 77-87 11 p. (CWI Tract; vol. 42).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Grammar
Context-free Grammar
Partial
Concepts
1 Downloads (Pure)

On Covers and Left-Corner Parses

op den Akker, R., 1987, Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. Asveld, P. R. J. & Nijholt, A. (eds.). Amsterdam: Centre for Mathematics and Computer Science, p. 107-127 21 p. (CWI Tract; no. 42).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Grammar
Cover
Attribute Grammars
Context-free Grammar
Strings
2 Downloads (Pure)

Program Generation through Symbolic Processing

van Hulzen, J. A., 1987, Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. Asveld, P. R. J. & Nijholt, A. (eds.). Amsterdam, The Netherlands: Centre for Mathematics and Computer Science, p. 231-260 30 p. (CWI Tract; vol. 42).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
mathematics
algebra
computer programs
optimization
118 Downloads (Pure)

Programming Language Concepts: The Lambda Calculus Approach

Fokkinga, M. M., 1987, Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. Asveld, P. R. J. & Nijholt, A. (eds.). Amsterdam, The Netherlands: Centre for Mathematics and Computer Science, p. 129-162 34 p. (CWI Tract; vol. 42).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Abstract data types
Parameterization
Visibility
Computer programming languages
Computer science
17 Downloads (Pure)

The Compositional Nature of (In)Definiteness

de Jong, F. M. G., 1987, The Representation of (In)definitenss. Reuland, E. & ter Meulen, A. (eds.). Cambridge, Mass.: MIT Press, p. 270-285 16 p. (Current Studies in Linguistics Series; vol. 14).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File

Transformatie van Specificatie tot Implementatie

Fokkinga, M. M., 1987, Colloquium Software Specificatie Technieken. Poirters, J. A. A. M. & Schoenmaker, G. J. (eds.). Schoonhoven, The Netherlands: Academic Service, p. 53-86 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1986
15 Downloads (Pure)

Inleiding

Steels, L., 1 May 1986, Ontwikkelingen in Expertsystemen. Nijholt, A. & Steels, L. (eds.). Den Haag: Academic Service, p. i-iv 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
1984

Generalized Quantifiers: the Properness of their Strength

de Jong, F. M. G. & Verkuyl, H. J., 1984, Generalized quantifiers in natural language. van Benthem, J. & ter Meulen, A. (eds.). Dordrecht: Foris Publications, p. 21-45 25 p. (Groningen - Amsterdam Studies in Semantics (GRASS); vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Citations (Scopus)
8 Downloads (Pure)

Physical models for secondary nucleation

Elwenspoek, M. & Bennema, P., 1984, Industrial Crystallization 84: proceedings of the 9th Symposium on Industrial Crystallization, The Hague, The Netherlands, September 25-28, 1984. Jančić, S. J. & de Jong, E. J. (eds.). The Hague, The Netherlands: Elsevier, p. 267-269

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
nucleation
light scattering
collision
experiment
crystal
1983
60 Downloads (Pure)

Comparing Pascal and Modula-2 as systems programming languages

Hartel, P. H., Mar 1983, Programming languages and systems design. Bormann, J. (ed.). Amsterdam: North Holland, p. 187-198 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
1980

Over ontleden en grammaticale equivalentierelaties

Nijholt, A., May 1980, Colloquium Capita Implementatie van Programmeertalen. van Vliet, J. C. (ed.). Amsterdam: Mathematisch Centrum, p. 47-72 26 p. (MC-Syllabus; vol. 42).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1978
3 Citations (Scopus)
44 Downloads (Pure)

On the parsing and covering of simple chain grammars

Nijholt, A., Jul 1978, Automata, Languages and Programming, Fifth Colloquium. Ausiello, G. & Bohm, C. (eds.). Berlin: Springer, p. 330-344 15 p. 10.1007/3-540-08860-1_24. (Lecture Notes in Computer Science; vol. 62).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
grammars
coverings
parsing algorithms
transducers
1975

Recursieve procedures en eenvoudige inductie asserties

Fokkinga, M. M., 1975, Colloquium Programmacorrectheid. de Bakker, J. W. (ed.). Amsterdam, The Netherlands: Mathematical Centre, p. 151-165 15 p. (Mathematical Centre Syllabus; vol. 21).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1968
12 Downloads (Pure)

De tweede methode van Lyapunov toegepast op het stabiliteitsprobleem bij stelsels partiële differentiaal vergelijkingen

Frankena, J. F., 1968, Colloquium 1968: Niet-lineaire differentiaalvergelijkingen. Lauwerier, H. A. (ed.). Stichting Mathematisch Centrum, p. 45-58 100 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File