Sciweavers

15 search results - page 1 / 3
» cj 1999
Sort
View
105
Voted
CJ
1999
87views more  CJ 1999»
15 years 3 months ago
Rejoinder
Jorma Rissanen
107
Voted
CJ
1999
72views more  CJ 1999»
15 years 3 months ago
Integrating a Program Design Calculus and a Subset of UML
Richard F. Paige
127
Voted
CJ
1999
129views more  CJ 1999»
15 years 3 months ago
Animating Formal Proof at the Surface: The Jape Proof Calculator
Richard Bornat, Bernard Sufrin
96
Voted
CJ
1999
76views more  CJ 1999»
15 years 3 months ago
Kolmogorov Complexity: Sources, Theory and Applications
Alexander Gammerman, Vladimir Vovk