The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Publication list

Faculty of Science - 1996

541 to 550 of 1936
1 ... 191 ... 381 ... 521   531   541   551   561   571 ... 771 ... 961 ... 1161 ... 1351 ... 1541 ... 1741 ... 1931

541   Report: Transforming an ASF+SDF Specification into a ToolBus Application
J.A. Hillebrand (1996)
542   Report: Transforming an ASF+SDF Specification into a ToolBus Application
M.P.A. Sellink (1996)
543   Report: The VAS formalism in VASE
T.B. Dinesh, S.M. Uskudarli (1996)
544   Report: A small language for the specification of Grid Protocols
J.A. Hillebrand (1996)
545   Report: A transformation tool for pure Prolog programs: the algebraic specification
J.J. Brunekreef (1996)
546   Report: Solving type equations in multi-level specifications (preliminary version)
E. Visser (1996)
547   Report: A general conservative extension theorem in process algebras with inequalities
P.R. D'Argenio, C. Verhoef (1996)
548   Report: Sequential data algebra primitives (revised version of P9602)
J.A. Bergstra, M.P.A. Sellink (1996)
549   Report: Sequential data algebra primitives
J.A. Bergstra, M.P.A. Sellink (1996)
550   Report: Multi-level specifications
E. Visser (1996)