Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Type-Based Termination and Productivity Checking
 

Summary: Slide 1
Type-Based Termination and
Productivity Checking
Andreas Abel
Dept. of Comp. Sci., Chalmers
TCS Oberseminar, LMU Munich
July 19, 2005
Work supported by: GKLI (DFG), TYPES, APPSEM-II and CoVer (SSF)
Slide 2
Short CV
1999 Diploma from this university
Major in computer science, minor in mathematics
Diplomathesis: termination checker foetus for structural
recursion
1999-2003 Ph.D. student at this chair in the PhD program Logic in
Computer Science:
2000/01 Visit to Frank Pfenning at Carnegie-Mellon, Pittsburgh,
USA: Development of a tutorial proof checker (Tutch) for
constructive logics
1

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences