Sciweavers

GG
1990
Springer
13 years 11 months ago
Use Graph Grammars to Design CAD-Systems!
Herbert Göttler, Joachim Günther, Georg ...
GG
1990
Springer
13 years 11 months ago
Dactl: An Experimental Graph Rewriting Language
John R. W. Glauert, Richard Kennaway, M. Ronan Sle...
GG
1990
Springer
13 years 11 months ago
An Algebraic Theory of Graph Reduction
Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...
FOCS
1990
IEEE
13 years 11 months ago
The Lattice Reduction Algorithm of Gauss: An Average Case Analysis
The lattice reduction algorithm of Gauss is shown to have an average case complexity which is asymptotic to a constant.
Brigitte Vallée, Philippe Flajolet
FOCS
1990
IEEE
13 years 11 months ago
IP=PSPACE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
Adi Shamir
FOCS
1990
IEEE
13 years 11 months ago
The Computability and Complexity of Optical Beam Tracing
John H. Reif, J. D. Tygar, Akitoshi Yoshida