Prof.dr Yde Venema
Click on picture for enlargement |
Mailing Address
FNWI
ILLC
Universiteit van Amsterdam
P.O. Box 94242
1090 GE AMSTERDAM
Visiting Address
Room F1.04-1
Building F
Science Park 107
1098 XG Amsterdam
Primary affiliation
Mathematical & Computational Logic (MCL)
Projects
Derivation Systems for Modal Fixpoint Logics
Cyclic proofs for modal and higher-order logic
Phone
Not available
Personal Home Page
- https://staff.fnwi.uva.nl/y.venema/
This information is taken from the database of the ILLC Buro:
please inform the ILLC Buro
(not the webmaster)
if any of the information above is incorrect or incomplete.