Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http: www.risc.jku.at people tkutsia - Unification - Document - PDFSEARCH.IO

First Page	Meta Content
	Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia Add to Reading List Document Date: 2017-02-02 07:22:52 Open Document File Size: 34,03 KB Share Result on Facebook

Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsiaAdd to Reading List