Institut für Informatik
FB 4: Informatik / Universität Koblenz
Universitätsstraße 1, 56070 Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ergebnisse pro Seite:
10
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsCoRR. S. 1 - 41
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsCoRR. S. 1 - 33
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisCoRR. S. 1 - 39
Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI AboxesCoRR. S. 1 - 15
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsCoRR. S. 1 - 30
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)CoRR. S. 1 - 43
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project: Rational Extensions of Logical ReasoningCoRR. S. 1 - 7