REWERSE - reasoning on the web

Stephanie Spranger

Former Member of REWERSE participant

Munich

Former Involvement in REWERSE packages

A1, I3

Employments

Member of the PhD programme "Logics in Computer Science" until 01/2006.

Professional interests

Temporal Logics and Calculi, Logic Programming, Functional Programming, Semantic Web, Type Systems

Professional web page

http://www.pms.ifi.lmu.de/mitarbeiter/spranger/

go to top of page

Imprint      Privacy Disclaimer