Renate Schmidt: Home Page

Dr.-Ing. Renate A. Schmidt
School of Computer Science, University of Manchester
Oxford Rd, Manchester M13 9PL, UK
Tel: +44 (0)161 275 6163, Fax: +44 (0) 161 275 6204
Mobile: +44 (0)776 193 5696
Email: Renate.Schmidt@manchester.ac.uk
Kilburn Building, Room: 2.42.
Research group: Formal Methods (FM)

9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), 18-20 Sep. 2013, Nancy, France.
Tableau prover generation with MetTeL2 and MetTeL.
Book on Second-Order Quantifier Elimination.
SCAN is available online once again.
SPASS as a modal tableau prover.

Research		Publications		Professional		Teaching		Administration
Research interests Software Resources, Tools Research projects		by date by theme DBLP listing Scholar Google		Editorial Advisory work Meetings Talks, Tutorials		60332 - AR&V 80142 - AW&I MSc/PhD projects CDT Tutor		MSc/PGT, ACS MSc Info MSc projects

Last modified: 14 Mar 13

Related searches:
schmidt renate research school tableau

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.

Dr.-Ing. Renate A. Schmidt