The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2009

Review

2009

- Jens Volkert, Wolfgang Schreiner, +15 authors Christoph Witzany
- 2009

The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and… (More)

Is this relevant?

2008

2008

Rewriting induction (Reddy, 1990) is an automated proof method for inductive theorems of term rewriting systems. Reasoning by the… (More)

Is this relevant?

2007

2007

1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a… (More)

Is this relevant?

2007

2007

This project paper describes the Joint Research Activity (JRA) of the EU Framework VI SCIEnce project, aimed at providing generic… (More)

Is this relevant?

2006

2006

1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a… (More)

Is this relevant?

Review

2005

Review

2005

- Tudor Jebelean
- 2005

While most of the Automated Reasoning systems (see e.g. [8]) are based on purely logical approaches, many researchers started… (More)

Is this relevant?

1997

Review

1996

Review

1996

- Dana S. Scott
- AISMC
- 1996

Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several… (More)

Is this relevant?

1995

1995

Acknowledgements I would like to thank my thesis advisor, Bruno Buchberger for introducing me to the subject of the connection… (More)

Is this relevant?

1990