Thomas Schwentick und Zeume - Info zur Person

(1 - 13 von 17

)

Thomas Schwentick | Papers With Codepaperswithcode.com › author › thomas-schwentick

paperswithcode.com

no code implementations • 21 Jan • Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume. Which amount of parallel resources is ...

Mathematical Foundations of Computer Science 2010: 35th International...

books.google.de

We also thank Thomas Schwentick and Thomas Zeume for sharing their results with us and in particular Thomas Schwentick for very informative discussions and pointing out an error in the previous version. References 1. Mortimer, M.: On languages with two variables. Zeitschr. f. Logik und Grundlagen d. Math. 21, 135–

[ ] A Strategy for Dynamic Programs: Start over and Muddle...

arxiv.org

Authors:Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume. (Submitted on 26 Apr (v1), last revised 7 May (this ...

On the quantifier-free dynamic complexity of Reachabilityadsabs.harvard.edu/abs/2013arXiv Z

ui.adsabs.harvard.edu

Title: On the quantifier-free dynamic complexity of Reachability. Authors: Zeume, Thomas; Schwentick, Thomas. Publication: eprint arXiv: Publication ...

Participants for AlMoTh 2011, Leipzig

www.informatik.uni-leipzig.de

Thomas Schwentick, Dortmund; Aziz Erkal Selman, Berlin ; Sebastian Siebertz, Aachen ; Thomas Weidner, Leipzig; Thomas Zeume, Dortmund; Martin Zimmermann, Aachen ...

Search results for "Thomas Schwentick" – FacetedDBLP

dblp.l3s.uni-hannover.de

Thomas Schwentick(161) Frank Neven(29) Heribert Vollmer(16) Wim Martens(15) Thomas Zeume(13) Anca Muscholl(12) Luc Segoufin(12) Clemens Lautemann(11) …

24th EACSL Annual Conference on Computer Science Logic

logic.las.tu-berlin.de

Thomas Schwentick, Nils Vortmeier and Thomas Zeume. Confluence of layered rewrite systems. Jiaxiang Liu, Jean-Pierre Jouannaud and Mizuhito Ogawa. Leaving the Nest: Nominal techniques for variables with interleaving scopes · Murdoch Gabbay, Dan Ghica and Daniela Petrisan. On Classical PCF, Linear Logic and ...