Georg Ehling

Publications

	G. Ehling, T. Kutsia. Solving Quantitative Equations. Technical report no. 24-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2024. [url] [pdf] [pdf] [covercore.tex] [bib]
	Georg Ehling, Temur Kutsia. Matching in Quantitative Equational Theories. In: UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar and Christophe Ringeissen (ed.), pp. -. 2023. [url] [bib]