Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Inst. für Informatik, Univ. 1992 26 S. (Fachberichte Informatik ; 1992,11)
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equationsBulletin of the European Association for Theoretical Computer Science. Bd. 37. Antwerpen: EATCS 1989 S. 181 - 185
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equations.Bulletin of the EATCS. Bd. 37. 1989 S. 181 - 185
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsCoRR. S. 1 - 16
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)CoRR. S. 1 - 9
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.