REWERSE - reasoning on the web

Benjamin Wack

Former Member of REWERSE participant

Nancy, INRIA - LORIA

Former Involvement in REWERSE packages

I3 : Composition and Typing

Employments

until 08/2006: PhD Student at LORIA-University Henri Poincaré, Nancy (France)

Professional interests

Typing rule-based formalisms, rewriting calculus, logics

Professional web page

http://www.loria.fr/~wack/

go to top of page

Imprint      Privacy Disclaimer