Results 1 -
0 of
0
No citations were found for this document.
On the Constructive Content of Proofs. PhD thesis, Fakult"at f"ur Mathematik, Ludwig-Maximilians-Universit"at M"unchen, 2003. BIBLIOGRAPHY 161 [110] Paula Severi and Nora Szasz. Studies of a theory of specifications with built-in progr (2001)
by Monika Seisenberger
| Venue: | Journal of Automated Reasoning |
