Inductive Datatypes with Laws and Subtyping – A Relational Model

Cached

Download Links

by Theodorus Sebastiaan Voermans
Venue:Faculty of Mathematics and Computing
Citations:4 - 0 self

Documents Related by Co-Citation

18 Topological Dualities in Semantics. Faculty of Mathematics and Computer Science, VUA. 1996-14 B.L.E. de Fluiter. Algorithms for Graphs of Small Treewidth. Faculty of Mathematics and Computer – M M Bonsangue
12 Parallel Local Search. Faculty of Mathematics and Computing Science, TUE. 1996-04 M.H.G.K. Kesseler. The Implementation of Functional Languages on Parallel Machines with Distrib. Memory. Faculty of Mathematics and Computer – M G A Verhoeven
14 den Beuken. A Functional Approach to Syntax and Typing. Faculty of Mathematics and – F A M van
23 Melius: Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. Faculty of Science, Mathematics and Computer – A Fehnker Citius, Vilius
5 Faculty of Mathematics and Computing Science, TU/e. 2001-14 M.C. van Wezel. Neural Networks for Intelligent Data Analysis: theoretical and experimental aspects – J J T Kleijn
33 Evolutionary Computation in Constraint Satisfaction and Machine Learning – Jano I. Van Hemert - 2001
29 Semantics and Verification in Process Algebras with Data and Timing. Faculty of Mathematics and Computer Science, TU/e. 2003-05 S.V. Nedea. Analysis and Simulations of Catalytic Reactions. Faculty of Mathematics and Computer Science, TU/e. 2003-06 M.E.M. – Tim A. C. Willemse, Timothy Ariën, Carol Willemse - 2003
21 Data Synchronization and Browsing for Home Environments – Y Qian
49 Message Sequence Chart: Syntax and Semantics – Door Michel Adriaan Reniers - 1998
4 Term Graph Rewriting: syntax and semantics. Faculty of Sciences, Division of Mathematics and Computer Science, VUA. 2001-05 R. van Liere. Studies in Interactive Visualization. Faculty of Natural Sciences, Mathematics and Computer – TUe Science
6 Faculty of Mathematics and Computing Science, TU/e. 2001-12 A.T. Hofkamp. Reactive machine control: A simulation approach using χ – D Boˇsnački
4 Adaptive QoS parameters approach to modelling Internet performance – S-J Yang, H-C Chou
2 Developer’s Guide – CodeMeter - 2003
2 see attribute authority access control – MAC
2 Faculty of Mechanical Engineering, TUE – J Verriet
10 Faculty of Mathematics and Computer Science and Faculty of Mechanical Engineering, TU/e. 2002-02 T. Kuipers. Techniques for Understanding Legacy Software Systems – R J Willemen
10 Faculty of Mathematics and Computer Science, TU/e. 2002-05 M.I.A. Stoelinga. Alea Jacta Est: Verification of Probabilistic, Real-time and Parametric Systems – N van
12 Random Redundant Storage for Video on Demand. Faculty of Mathematics and Computer Science, TU/e. 2003-01 M. de Jonge. To Reuse or To Be Reused: Techniques for component composition and construction – TUe Science
13 Performance Ratios for the Differencing Method. Faculty of Mathematics and Computer Science, TU/e – W P A J Michiels