2
Publications
184
Citations
2
H-Index
1979
Active since
W. G. is an author specializing in computational complexity, automated reasoning, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningArtificial IntelligenceComputational Complexity
Publications per year
1979–1989
2
2
Rows per page
1–2 of 2