Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Logic Programming as a Basis for Lean Automated Deduction.

B. Beckert, und J. Posegga. J. Log. Program., 28 (3): 231-236 (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. rer. nat. Bernhard Schulz University of Stuttgart

Bernhard Schopfer University of Stuttgart

Prof. Dr. Bernhard Hauer University of Stuttgart

Hon. -Prof. Dr. Bernhard Scheuble University of Stuttgart

Univ. -Prof. Dr. -Ing. Bernhard Mitschang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).B. Beckert, D. Bruns, und S. Grebing. VERIFY@IJCAR, Volume 3 von EPiC Series in Computing, Seite 4-12. EasyChair, (2010)leanEA: A Lean Evolving Algebra Compiler.B. Beckert, und J. Posegga. CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 64-85. Springer, (1995)Integrating Object-Oriented Design and Deductive Verification of Software.B. Beckert, R. Hähnle, und P. Schmitt. SEFM, Seite 260. IEEE Computer Society, (2006)Experience Report: Formal Methods in Material Science.B. Beckert, B. Nestler, M. Kiefer, M. Selzer, und M. Ulbrich. CoRR, (2018)Verification-based test case generation for information-flow properties.M. Herda, S. Tyszberowicz, J. Müssig, und B. Beckert. SAC, Seite 2231-2238. ACM, (2019)Probabilistic Models for the Verification of Human-Computer Interaction.B. Beckert, und M. Wagner. KI, Volume 5803 von Lecture Notes in Computer Science, Seite 687-694. Springer, (2009)Formal Semantics of Model Fields in Annotation-Based Specifications.B. Beckert, und D. Bruns. KI, Volume 7526 von Lecture Notes in Computer Science, Seite 13-24. Springer, (2012)How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.B. Beckert, S. Grebing, und F. Böhl. UITP, Volume 167 von EPTCS, Seite 4-13. (2014)Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.B. Beckert, S. Bischof, M. Herda, M. Kirsten, und M. Büning. ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 284-300. Springer, (2018)Formal Verification of a Microkernel Used in Dependable Software Systems.C. Baumann, B. Beckert, H. Blasum, und T. Bormer. SAFECOMP, Volume 5775 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2009)