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

TOTAL DOCUMENTS

57
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer-Verlag

3540529535
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Speed-up theorem without tape compression

2005 ◽  
pp. 285-291
Author(s):  
Viliam Geffert
Keyword(s):  
Speed Up

Typed horn logic (extended abstract)

2005 ◽  
pp. 470-477
Author(s):  
Axel Poigné
Keyword(s):  
Horn Logic

Characterizing unambiguous augmented pushdown automata by circuits

2005 ◽  
pp. 399-406 ◽  
Author(s):  
Klaus-Jörn Lange ◽  
Peter Rossmanith
Keyword(s):  
Pushdown Automata

Separating sets of hyperrectangles

2005 ◽  
pp. 165-172
Author(s):  
Fabrizio d'Amore ◽  
Paolo Giulio Franciosa

Comparisons among classes of Y-tree systolic automata

2005 ◽  
pp. 254-260 ◽  
Author(s):  
E. Fachini ◽  
A. Maggiolo Schettini ◽  
D. Sangiorgi

scholarly journals Dynamic hashing strategies

2005 ◽  
pp. 76-87 ◽  
Author(s):  
Friedhelm Meyer auf der Heide
Keyword(s):  
Dynamic Hashing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document