T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods Jens Otten? Christoph Kreitz

First Page		Document Content
Date: 2008-03-22 23:16:53		T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods Jens Otten? Christoph Kreitz Add to Reading List Source URL: www.cs.uni-potsdam.de Download Document from Source Website File Size: 286,04 KB Share Document on Facebook