Schmidt-Schauß, Manfred
Schmidt-Schauß, Manfred, 1953-
Schmidt-Schauß, M. (Manfred)
Manfred Schmidt-Schauß Dr. rer. nat. Universität Kaiserslautern 1988
Schmidt-Schauss, M.
VIAF ID: 110583906 ( Personal )
Permalink: http://viaf.org/viaf/110583906
Preferred Forms
- 100 0 _ ‡a Manfred Schmidt-Schauß ‡c Dr. rer. nat. Universität Kaiserslautern 1988
-
-
-
- 100 1 _ ‡a Schmidt-Schauss, Manfred ‡d 1953-
- 100 1 _ ‡a Schmidt-Schauss, Manfred, ‡d 1953-
-
- 100 1 _ ‡a Schmidt-Schauß, M. ‡q (Manfred)
- 100 1 _ ‡a Schmidt-Schauß, Manfred
- 100 1 _ ‡a Schmidt-Schauß, Manfred
-
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Computational aspects of an order-sorted logic with term declarations | |
Embedding the pi-calculus into a concurrent functional programming language | |
Mechanical Generation of Sorts in Clause Sets | |
Space improvements and equivalences in a polymorphically typed functional core language: context lemmas and proofs | |
Space improvements for total garbage collection | |
Unification in Boolean rings and Abelian groups |