Tjark Weber und Georg Struth - Info zur Person

(1 - 4 von 6

)

Simon Foster +44 (0) University of York

www-users.cs.york.ac.uk

http://uk.linkedin.com/in/simondfoster. Personal. Full Name. Date of Birth. Nationality. Current Role ... Simon Foster, Georg Struth, and Tjark Weber. › ~simonf › Simo...

SMT 2020: Virtual Event - DBLP

dblp.org

François Bobot, Tjark Weber: Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint ... Alasdair Armstrong, Georg Struth, Tjark Weber: Programming and automating mathematics in the Tarski-Kleene hierarchy. J. Log. Algebraic Methods Program. › ... › SMT › Persons

Martin Suda
Marc Reichenbach
Olaf Schneider

Alex Gebauer
Ralf Döblitz
Simon Foster

Person "Weber" (277)
Vorname "Tjark" (401)
Name "Weber" (12840)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Tjark Weber und Georg Struth Person-Info

Simon Foster +44 (0) University of York

SMT 2020: Virtual Event - DBLP

Program Analysis and Verification Based on Kleene Algebra ...springer.com

Automated Engineering of Relational and Algebraic Methods dblp

Alle Infos zum Namen "Tjark Weber"