A proof theory for general unification

Recommend Documents

Progress in Computer Science and Applied Logic Volume 11 Editor John C. Cherniavsky, Georgetown University Associate ...

Progress in Computer Science and Applied Logic Volume 11 Editor John C. Cherniavsky, Georgetown University Associate E...

Progress in Computer Science and Applied Logic Volume 11 Editor John C. Cherniavsky, Georgetown University Associate ...

PROOF THEORY GAISI TAKEUTI Professor of Mathematics The U n i v e r s i t y of I l l i n o i s U r b a n a , Illinois, ...

Proof Theory for Fuzzy Logics APPLIED LOGIC SERIES VOLUME 36 Managing Editor Dov M. Gabbay, Department of Computer S...