author-photo

Peter H. Schmitt

Karlsruhe Institute of Technology

131

Papers

2005

Citations

Citation Trend

Filter By

Papers (89) Sort By

Journal Conference Others

Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Two First-Order Theories of Ordinals.

2020
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (0)
A First-Order Theory of Ordinals

2017
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (1)
Some Notes on Permutations

2017
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (1)
Modular specification and verification

2016
Show All
- Source
- Cite
- Save
Citations (2)
Deductive Software Verification - The KeY Book

2016
Show All
- Source
- Cite
- Save
Citations (150)
A closer look at the semantic relationship between Datalog and description logics

2015 Social Work
Show All
- Source
- Cite
- Save
Citations (6)
The Class Reunion

2015
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (0)
The Class Reunion

2015
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (0)
Efficient Self-composition for Weakest Precondition Calculi

2014 FM | Formal Methods
- Christoph Scheben
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (12)