Zur JKU Startseite
Institut für Symbolisches Rechnen (RISC)
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

News & Events

News
Titelblatt

Concrete Abstractions

Concrete Abstractions - Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker von Wolfgang Schreiner (RISC)

News
cover page

Thinking Programs

Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

von Wolfgang Schreiner (RISC)

Weitere Neuigkeiten finden Sie immer auf der RISC website, öffnet eine externe URL in einem neuen Fenster.