Concepedia

Manfred Schmidt-Schauß

MS

22

Publications

668

Citations

17

H-Index

1985

Active since

Affiliations

Goethe University Frankfurt(Current)

University of Kaiserslautern

Universitat Politècnica de Catalunya

Manfred Schmidt-Schauß is an author at Goethe University Frankfurt specializing in engineering, formal methods, and automated reasoning.

Top concepts

Automated ReasoningFormal MethodsEngineeringComputer ScienceFormal VerificationProgram AnalysisLanguageLinguisticsSoftware AnalysisSemantics

Publications per year

1985–2015

22

Publications

22

Subsumption algorithms for concept description languages

Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß · 1990 · 118 citations

Implication of clauses is undecidable

Manfred Schmidt-Schauß · Theoretical Computer Science · 1988 · 51 citations

Automated Reasoning, Incompleteness, Relevance Logic

Unification in Boolean Rings and Abelian Groups

Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß · Journal of Symbolic Computation · 1989 · 44 citations

Abstract Algebra, Ring Theory, Automated Reasoning +2

Unification under associativity and idempotence is of type nullary

Manfred Schmidt-Schauß · Journal of Automated Reasoning · 1986 · 38 citations

Automated Reasoning, Algebraic Logic, Universal Algebra +1

A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations

David Sabel, Manfred Schmidt-Schauß · Mathematical Structures in Computer Science · 2008 · 38 citations

Mathematical Programming, Engineering, Verification +22

Rows per page

1–5 of 22