Fundamentals of Computation Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602491, 9783540447702
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PRAM's towards realistic parallelism: BRAM's

1995 ◽  
pp. 363-373 ◽  
Author(s):  
Rolf Niedermeier ◽  
Peter Rossmanith

Dummy elimination: Making termination easier

1995 ◽  
pp. 243-252 ◽  
Author(s):  
M. C. F. Ferreira ◽  
H. Zantema

On the synchronization of semi-traces

1995 ◽  
pp. 393-403 ◽  
Author(s):  
Klaus Reinhardt

The power of frequency computation

1995 ◽  
pp. 323-332 ◽  
Author(s):  
Martin Kummer ◽  
Frank Stephan

Optimal contiguous expression DAG evaluations

1995 ◽  
pp. 293-302
Author(s):  
Christoph W. Keßler ◽  
Thomas Rauber

Efficient rewriting in cograph trace monoids

1995 ◽  
pp. 146-155
Author(s):  
Michael Bertol

From a concurrent λ-calculus to the π-calculus

1995 ◽  
pp. 106-115 ◽  
Author(s):  
Roberto M. Amadio ◽  
Lone Leth ◽  
Bent Thomsen
Keyword(s):  
Π Calculus

A delegation-based object calculus with subtyping

1995 ◽  
pp. 42-61 ◽  
Author(s):  
Kathleen Fisher ◽  
John C. Mitchell
Load More ...
Sign in / Sign up

Export Citation Format

Share Document