Andreas Reuß

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 1

Top Topics

First Order Logic

Boolean Formulae

Tree Structures

Top Venues

Math. Struct. Comput. Sci.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Andreas Reuß, Helmut Seidl
Paths, tree homomorphisms and disequalities for -clauses. Math. Struct. Comput. Sci. 28 (10) (2018)
Helmut Seidl, Andreas Reuß
Extending ${\cal H}_1$ -Clauses with Path Disequalities. FoSSaCS (2012)
Andreas Reuß, Helmut Seidl
-Clauses. CIAA (2012)
Helmut Seidl, Andreas Reuß
-clauses with disequalities. Inf. Process. Lett. 111 (20) (2011)
Andreas Reuß
Program Analysis with Horn Clauses. AlgoSyn (2010)
Andreas Reuß, Helmut Seidl
Bottom-Up Tree Automata with Term Constraints. LPAR (Yogyakarta) (2010)