Back to overview

Deduktive Systeme für die Verifikation von Logikprogrammen.

Applicant Stärk Robert
Number 40142
Funding scheme Fellowships for advanced researchers
Research institution
UNI: Stanford University Dept of Mathematics Stanford USA
Faculty of Mathematics and Computer Science University of Amsterdam
UNI: University of Bristol Dept of Computer Science Bristol GB
UNI: University of Pennsylvania Computer Sci ence Dept Philadelphia USA
Institution of higher education Institution abroad - IACH
Main discipline Information Technology
Start/End 01.10.1994 - 30.06.1996
Show all

Responsible applicant and co-applicants