P
Peter Baumgartner
Researcher at University of Lausanne
Publications - 225
Citations - 5709
Peter Baumgartner is an academic researcher from University of Lausanne. The author has contributed to research in topics: Automated theorem proving & Cretaceous. The author has an hindex of 41, co-authored 208 publications receiving 5332 citations. Previous affiliations of Peter Baumgartner include Commonwealth Scientific and Industrial Research Organisation & NICTA.
Papers
More filters
Hyper Tableaux
TL;DR: A variant of clausal normal form table aux that takes advantage of the central idea of (positive) hyper resolution, namely to resolve away all negative literals of a clause in a single inference step to enable new efficient proof procedures for full first order theories as variants of table ux calculi.
Book
Middle jurassic to lower cretaceous radiolaria of tethys : occurrences, systematics, biochronology
Journal Article
A Middle Jurassic-Early Cretaceous low-latitude radiolarian zonation based on Unitary Associations and age of Tethyan radiolarites.
Journal ArticleDOI
Radiolarite ages in Alpine-Mediterranean ophiolites: Constraints on the oceanic spreading and the Tethys-Atlantic connection
TL;DR: The history of continental breakup and oceanic spreading of the Alpine Tethys is defined by a revision of isotopic and biochronologic ages of 65 stratigraphic sections located in the Alps, Apennines, Betic Cordillera, Rif, and central Atlantic as discussed by the authors.