STACS 87 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer-Verlag

354017219x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probability one separation of the Boolean hierarchy

2006 ◽  
pp. 148-158 ◽  
Author(s):  
Jin-yi Cai

An algebraic transformation system for occam programs

2006 ◽  
pp. 481-481
Author(s):  
M. Goldsmith ◽  
A. Cox ◽  
G. Barrett
Keyword(s):  
Transformation System ◽  
Algebraic Transformation

REVEUR4 : A laboratory for conditional rewriting

2006 ◽  
pp. 472-473
Author(s):  
Wadoud Bousdira ◽  
Jean-Luc Remy

Some structural aspects of hypergraph languages generated by hyperedge replacement

2006 ◽  
pp. 207-219 ◽  
Author(s):  
Annegret Habel ◽  
Hans-Jörg Kreowski
Keyword(s):  
Hyperedge Replacement ◽  
Structural Aspects

CEC

2006 ◽  
pp. 470-470 ◽  
Author(s):  
Hubert Bertling ◽  
Harald Ganzinger ◽  
Hubert Baumeister

On local routing of two-terminal nets

2006 ◽  
pp. 40-52 ◽  
Author(s):  
Michael Kaufmann ◽  
Kurt Mehlhorn
Keyword(s):  
Local Routing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document