genehmigten Dissertation. (2008)
Stefan Schwoon, T. Nipkow, Ph. D
angenommen. The thesis investigates an approach to automated software verification based on pushdown systems. Pushdown systems are, roughly speaking, transition systems whose states include a stack...
An Inductive Proof of the Wellfoundedness of the Multiset Order (1998)
T. Nipkow, Ralph Matthes, Wellfounded Part
The following note presents an inductive proof of the wellfoundedness of the...