Sciweavers

57
Voted
GG
1990
Springer
15 years 4 months ago
Use Graph Grammars to Design CAD-Systems!
Herbert Göttler, Joachim Günther, Georg ...
GG
1990
Springer
15 years 4 months ago
Dactl: An Experimental Graph Rewriting Language
John R. W. Glauert, Richard Kennaway, M. Ronan Sle...
GG
1990
Springer
15 years 4 months ago
An Algebraic Theory of Graph Reduction
Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...
102
Voted
FOCS
1990
IEEE
15 years 4 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
92
Voted
FOCS
1990
IEEE
15 years 4 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
77
Voted
FOCS
1990
IEEE
15 years 4 months ago
The Computability and Complexity of Optical Beam Tracing
John H. Reif, J. D. Tygar, Akitoshi Yoshida