zum Hauptmenü
zum Inhalt
ZURÜCK ZUR BIBLIOTHEK
Schrift:
A
A
A
Sprache:
[de]
[en]
Publikationsserver
Detailsuche
Schnellsuche:
Gast
Anmelden
Inhalt
Universität Linz
(
9584
Titel
)
Dokumenttyp
Neuzugänge
Listen
Titel
AutorInnen
Beteiligte
Clouds
Schlagwörter
AutorInnen
Beteiligte
Hinweise
Für Studierende
Für Benützer*innen
Dokument hochladen
Home
Suchergebnis
Über die Zeitschrift
Team
Kontakt
Beitragseinreichung
Richtlinien
Formatvorlagen
Impressum
2
Titel
Jahre
1
Einträge für
2021
1
Einträge für
2022
AutorInnen / Beteiligte
2
Einträge für
Schreiner, Wolfgang
1
Einträge für
Fonds zur Förderung der Wissenschaftlichen Forschung
1
Einträge für
Linz Institute of Technology
1
Einträge für
Reichl, Franz-Xaver
2 Treffer
zu den Filteroptionen
Suche nach:
Verlag = "Johannes Kepler Universität Linz"
The RISCTP theorem proving interface - tutorial and reference manual (Version 1.0.*)
RISC Report Series, 22-07
Schreiner, Wolfgang
Linz
:
Research Institute for Symbolic Computation (RISC), Johannes Kepler Universität Linz
,
June 2022
Semantic evaluation versus SMT solving in the RISCAL model checker
RISC Report Series, 21-11
Schreiner, Wolfgang
;
Reichl, Franz-Xaver
Linz
:
Research Institute for Symbolic Computation (RISC), Johannes Kepler Universität Linz
, June 2021