220 search results - page 21 / 44 » On Nets, Algebras and Modularity |
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
AISC
2010
Springer
14 years 9 days ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
WEBNET
1998
13 years 10 months ago
1998
: This paper presents the modular training system MTS, the PLATINUM1 -Net, a worldwide network for innovative learning and advanced training, and distributed collaborative training...
ENTCS
2008
13 years 9 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
ICFEM
1998
Springer
14 years 1 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...