Sciweavers

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