Proof and Computation
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642793639, 9783642793615
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computable Functions on Stream Algebras

1995 ◽  
pp. 397-437 ◽  
Author(s):  
J. V. Tucker ◽  
J. I. Zucker
Keyword(s):  
Computable Functions

Rewrite Proofs and Computations

1995 ◽  
pp. 271-316 ◽  
Author(s):  
Jean-Pierre Jouannaud

Behavioural Specifications

1995 ◽  
pp. 193-230 ◽  
Author(s):  
Rolf Hennicker ◽  
Martin Wirsing

Concurrent Processes and Petri Nets

1995 ◽  
pp. 47-108 ◽  
Author(s):  
Wilfried Brauer ◽  
Robert Gold
Keyword(s):  
Petri Nets ◽  
Concurrent Processes

Program Development by Proof Transformation

1995 ◽  
pp. 1-45 ◽  
Author(s):  
Ulrich Berger ◽  
Helmut Schwichtenberg
Keyword(s):  
Program Development
Load More ...
Sign in / Sign up

Export Citation Format

Share Document