AISC 2004 7th International Conference on

First Page		Document Content
Date: 2004-02-11 11:40:23 Linz Antoine Augustin Calmet Belaid Michael Kohlhase Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Buchberger		AISC 2004 7th International Conference on Add to Reading List Source URL: www.risc.jku.at Download Document from Source Website File Size: 125,59 KB Share Document on Facebook

	An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt DocID: 1qsjo - View Document
	PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the DocID: 1nnB7 - View Document
	Curriculum Vitae Priv.-Doz. Dipl.-Math. Dr. Teimuraz (Temur) Kutsia http://www.risc.jku.at/~tkutsia/ Contact Research Institute for Symbolic Computation (RISC) DocID: 1m6L4 - View Document
	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on DocID: 1jfWd - View Document
	SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce : DocID: 1fXD8 - View Document