[All BiBTeX entries for this year]
A.H.M. ter Hofstede, N.E. van Oosterom, and G.R. Renardel de Lavalette. Towards the Integration of NIAM and ExSpect. Technical report, October, ITI-TNO, Delft, The Netherlands, EU, 1991, ESPRIT II Project PROOFS.
[ Missing PDF ] [ Bibtex ]
J. Braam. Training a multi layer perception for particle size analysis. Technical report: CSI-R9102, Januar, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
S.J. van Bakel. Principal type schemes for the strict type assignment system. Technical report: CSI-R9106, March, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
C.H.A. Koster. Two boys and a Computer. Technical report: CSI-R9107, April, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
J.-J. Meyer. Modal Logics for Knowledge Representation. Technical report: CSI-R9108, April, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
L.M.W.J. Rutten, P. Koopman, M.C.J.D. v, and M.J. Plasmeijer. Functional Specification of a Neural Network. Technical report: CSI-R9109, April, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
H.A. van Thienen. Transformational Reasoning on Process Expressions. Technical report: CSI-R9110, April, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
C.H.A. Koster, and J.G. Beney. On the borderline between grammars and programs. Technical report: CSI-R9117, August, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
E. Farkas, C.H.A. Koster, P. K�ves, and M. Nasz�di. Towards an Affix Grammar for the Hungarian Language. Technical report: CSI-R9118, August, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
H.P. Barendregt. Lambda Calculi with Types. Technical report: CSI-R9119, September, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
H.A. Partsch, and E.A. Boiten. A Note on Similarity of Specifications and Reusability of Transformational Developments. Technical report: CSI-R9120, September, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
E.A. Boiten. Intersections of Sets and Bags of Extended Substructures - a Class of Problems and Can Bag Comprehension be used at all?. Technical report: CSI-R9121, September, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
S.J. van Bakel, J.E.W. Smetsers, and S. Brock. Type assignment in Left Linaear Applicative Term Rewriting Systems. Technical report: CSI-R9122, September, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
M. van Hulst, and J.-J. Meyer. A Taxonomy of Knowledge in Distributed Systems. Technical report: CSI-R9123, November, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
E.A. Boiten. The many disguises of accumulation. Technical report: CSI-R9126, December, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
C. Dekkers, C.H.A. Koster, M.-J. Nederhof, and A. Zwol. Manual for the Grammar Work Bench Version 1.0. Technical report: CSI-R9128, December, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]
L.W.J. Rooijakkers, and M. Massink. A simplified token bus protocol specified using LOTOS. Technical report: CSI-R9215, January, Radboud University Nijmegen, 1991.
[ Missing PDF ] [ Bibtex ]