Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl Add to Reading List Document Date: 2011-05-16 06:51:51 Open Document File Size: 118,88 KB Share Result on Facebook Company Convergent Term Rewrite Systems / / Person Giesl Marc Brockschmidt / Jürgen Giesl Marc Brockschmidt / Thomas Ströder / Carsten Fuhs / / SocialTag Mathematical series Logic in computer science Mathematical logic Rewriting Unification Characterizations of the exponential function Mathematics Mathematical analysis Theoretical computer science

Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen GieslAdd to Reading List