Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993
Latest Publications

TOTAL DOCUMENTS

68
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540571827, 9783540479277
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On time-space trade-offs in dynamic graph pebbling

1993 ◽  
pp. 671-681 ◽  
Author(s):  
Peter Ružička ◽  
Juraj Waczulík
Keyword(s):  
Dynamic Graph ◽  
Time Space ◽  
Trade Offs ◽  
Graph Pebbling

A taste of linear logic

1993 ◽  
pp. 185-210 ◽  
Author(s):  
Philip Wadler
Keyword(s):  
Linear Logic

Data encapsulation and modularity: Three views of inheritance

1993 ◽  
pp. 382-391
Author(s):  
J. F. Costa ◽  
A. Sernadas ◽  
C. Sernadas

scholarly journals Approximate and exact deterministic parallel selection

1993 ◽  
pp. 352-361 ◽  
Author(s):  
Shiva Chaudhuri ◽  
Torben Hagerup ◽  
Rajeev Raman
Keyword(s):  
Parallel Selection

Real-time refinement: Semantics and application

1993 ◽  
pp. 693-702 ◽  
Author(s):  
David Scholefield ◽  
Hussein Zedan ◽  
He Jifeng
Keyword(s):  
Real Time

An expressive logic for Basic Process Algebra

1993 ◽  
pp. 453-462
Author(s):  
A. Fantechi ◽  
S. Gnesi ◽  
V. Perticaroli
Keyword(s):  
Process Algebra ◽  
Basic Process

Speedup of recognizable trace languages

1993 ◽  
pp. 332-341 ◽  
Author(s):  
Christophe Cérin ◽  
Antoine Petit
Load More ...
Sign in / Sign up

Export Citation Format

Share Document