Searching for authors named "Sebastian Bauer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

On non-local propositional and one-variable quantified CTL
by Sebastian Bauer, Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
…On non-local propositional and one-variable quantified CTL Sebastian Bauer, 1 Ian Hodkinson, 2…
Add To MetaCart

On non-local propositional and weak monodic quantified
by Sebastian Bauer, Ian Hodkinson, Frank Wolter, Michael Zakharyaschev — CTL ∗ , J. Logic Computat
…On non-local propositional and weak monodic quantified CTL ∗ Sebastian Bauer, 1 Ian Hodkinson, 2…
Cited by 3 (2 self) – Add To MetaCart

On non-local propositional and one-variable quantified CTL
by Sebastian Bauer Ian, Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
…On non-local propositional and one-variable quantified CTL Sebastian Bauer, 1 Ian Hodkinson, 2…
Add To MetaCart

Simulation of Deformation Induced Anisotropic Permeability (Seite 9)
by Zag Zentrum Für, Angewandte Geowissenschaften, Priv Doz, Dr. Sebastian Bauer, Priv Doz, Dr. Johannes Barth, Dipl Geol, Jan Gronewold, Universität Tübingen, Zentrum Für Angew, Te Geowissenschaften, Universität Tübingen, Robert Walsh, Olaf Kolditz, Christopher Mcdermott, Gesa Ziefle, Martin Kohlmeier, Werner Zielke, Inst F. Strömungsmechanik, Universität Hannover, Hermann Rügner, Rudolf Liedl, Peter Grathwohl
…. rer. nat. Sebastian Bauer Priv. Doz. Dr. rer. nat. Johannes Barth Dipl.Dipl.Inf.(FH) Antje Lemper…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB