Sciweavers

GG
1990
Springer
15 years 4 months ago
Use Graph Grammars to Design CAD-Systems!
Herbert Göttler, Joachim Günther, Georg ...
53
Voted
GG
1990
Springer
15 years 4 months ago
Dactl: An Experimental Graph Rewriting Language
John R. W. Glauert, Richard Kennaway, M. Ronan Sle...
54
Voted
GG
1990
Springer
15 years 4 months ago
An Algebraic Theory of Graph Reduction
Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...
107
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
97
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
80
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