Informatica rapport / Wiskundig Seminarium der Vrije Universiteit

A coalgebraic approach to Lambda-calculus / Y.D. Duppenschema:ProductModel A comparison of two distributed systems: Amoeba and Sprite / Fred Douglis ... [et al.]schema:ProductModel A comparison of two paradigms for Distributed Shared Memory / W.G. Levelt ... [et al.]schema:ProductModel A comperative study of five parallel programming languages / Henri E. Balschema:ProductModel A complete logic for autoepistemic membership / G.A.W. Vreeswijkschema:ProductModel A conceptual model specification language : (CMSL version 2) / R.J. Wieringaschema:ProductModel A concise introduction to programming language principles / H.E. Bal, D. Gruneschema:ProductModel A flexible framework for contingent information systems modelling / V. van Swede, J.C. van Vlietschema:ProductModel A formal approach to user models in data retrieval / André J. Kokschema:ProductModel A formal model for the dynamics of compositional reasoning systems / Ioa Gavrila, Jan Treurschema:ProductModel A formal theory about preferring the most specific argument / H. Prakkenschema:ProductModel A generic architecture for knowledge-based control of processes in dynamic environments / Frances Brazier ... [et al.]schema:ProductModel A knowledge-based approach of connect-four / Victor Allisschema:ProductModel A linear algorithm for flattening List Graphs / Peter Bonczschema:ProductModel A logical theory of design / F.M.T. Brazier, P.H.G. van Langen, J. Treurschema:ProductModel A modal contrastive logic / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel A programmer-friendly LL(1) parser generator / Dick Grune, Ceriel J.H. Jacobsschema:ProductModel A purpose driven method for language comparison : the REVISE project / F.M.T. Brazier e.aschema:ProductModel A set of multi-process primitives for stack based machines / Kees Bot, Edwin Schefferschema:ProductModel A sound and complete logic for deontic reasoning / J.-J. Ch. Meyerschema:ProductModel ... show all 351