Concepedia

Friedrich Otto

FO

53

Publications

1.4K

Citations

20

H-Index

1984

Active since

Affiliations

University of Kassel(Current)

University of Kaiserslautern

University at Albany, State University of New York

Albany State University

Toho University

Friedrich Otto is an author at University of Kassel specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLinguisticsLanguageComputational ComplexitySyntaxGrammar

Publications per year

1984–2020

53

Publications

53

Church-Rosser Thue systems and formal languages

Robert McNaughton, Paliath Narendran, Friedrich Otto · Journal of the ACM · 1988 · 129 citations · Full text

Engineering, Church-rosser Thue Systems, Higher-order Logic +16

A finiteness condition for rewriting systems

Craig C. Squier, Friedrich Otto, Yuji Kobayashi · Theoretical Computer Science · 1994 · 110 citations

Engineering, Finiteness Condition, Automated Reasoning +5

Growing Context-Sensitive Languages and Church–Rosser Languages

Gerhard Buntrock, Friedrich Otto · Information and Computation · 1998 · 103 citations

Context-sensitive Languages, Linguistic Anthropology, Language Symbiosis +2

Pseudo-natural algorithms for the word problem for finitely presented monoids and groups

Klaus Madlener, Friedrich Otto · Journal of Symbolic Computation · 1985 · 51 citations

Mathematical Programming, Combinatorics On Word, Computational Complexity Theory +12

The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages

Gundula Niemann, Friedrich Otto · Information and Computation · 2005 · 49 citations

Context-sensitive Languages, Philosophy Of Language, Syntax +11

Rows per page

1–5 of 53