GDPA  
Jürgen Dingel  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Jürgen Dingel

E-Mail

jurgend@cs.cmu.edu

Homepage

http://www.cs.cmu.edu/~jurgend/

Address

Computer Science Department 
Carnegie Mellon University 
5000 Forbes Avenue 
Pittsburgh, PA 15213
USA

Institution

Carnegie Mellon University

Publications

/Dingel, 1998/ Reasoning about implicit Invocation

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster