Dagstuhl Seminar 99401
Contact-Address: dag99@dbai.tuwien.ac.at
Finite Model Theory, Databases,
and Computer-Aided Verification
3.10.1999 - 8.10.1999
Download Report
©
R. Baumgartner
/
H. Veith
Updated on 7/2/00
