MPG.eBooks - Author Search Results

Cover Image

1

Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Other Authors: “...Müller, Gert H....”

Cover Image

2

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Published 1985

Springer Berlin Heidelberg

Other Authors: “...Müller, Gert H....”

Cover Image

3

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Published 1990

Springer Berlin Heidelberg

Other Authors: “...Müller, Gert H....”