Concepedia

Hans B. Gute

HB

1

Publications

10

Citations

1

H-Index

1990

Active since

Affiliations

University of Freiburg(Current)

Hans B. Gute is an author at University of Freiburg specializing in combinatorial group theory, education, and automated reasoning.

Top concepts

EducationSemanticsEngineeringFormal MethodsFormal SemanticsAutomated ReasoningGeometric Group TheoryCombinatorial Group Theory

Publications per year

1990–1990

1

Publications

1

The last word on elimination of quantifiers in modules

Hans B. Gute, K. Reuter · Journal of Symbolic Logic · 1990 · 10 citations

Formal Semantics, Geometric Group Theory, Last Word +14

Rows per page

1–1 of 1