← Back to directory
Albert R. Meyer
Researcher Next ID · RN-000656
Professor · Computer Science
Hanover, Germany
Not currently recruitingFunding unknown
- Works count
- 148
- Citation count
- 6,695
- H-index
- 36
- i10-index
- 79
About
148 publications and 6,694 citations recorded on OpenAlex.
Research interests
Computer Science
Logic, programming, and type systems
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Formal Methods in Verification
semigroups and automata theory
Publications
Bisimulation can't be traced
Journal of the ACM · 1995 · 10.1145/200836.200876
The complexity of the word problems for commutative semigroups and polynomial ideals
Advances in Mathematics · 1982 · 10.1016/0001-8708(82)90048-2
Word problems requiring exponential time(Preliminary Report)
Journal · 1973 · 10.1145/800125.804029
The equivalence problem for regular expressions with squaring requires exponential space
Journal · 1972 · 10.1109/swat.1972.29
Economy of description by automata, grammars, and formal systems
Journal · 1971 · 10.1109/swat.1971.11
Current projects
No projects listed.