Volume 42; Issue none

3

Axiomatisation of an Interval Calculus for Theorem Proving

Year:
2001
Language:
english
File:
PDF, 245 KB
english, 2001
6

Lifting in Z

Year:
2001
Language:
english
File:
PDF, 208 KB
english, 2001
11

Preface: Volume 42

Year:
2001
Language:
english
File:
PDF, 46 KB
english, 2001
12

Meta-Modelling for Formal Software Development

Year:
2001
Language:
english
File:
PDF, 128 KB
english, 2001
13

Parallel Reduction in Type Free λμ-Calculus

Year:
2001
Language:
english
File:
PDF, 164 KB
english, 2001
14

Operational Techniques in PVS — A Preliminary Evaluation

Year:
2001
Language:
english
File:
PDF, 203 KB
english, 2001
16

A Model of Finite Automata on Timed ω-Trees

Year:
2001
Language:
english
File:
PDF, 189 KB
english, 2001