Viorica Sofronie-Stokkermans - Artikel & Meinungen

(1 - 5 von 6

)

The Best Research University In Romania | Smiling

hritcu.wordpress.com

General Ranking

Schloss Dagstuhl : Seminar Homepage

www.dagstuhl.de

Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) Cesare Tinelli (University of Iowa – Iowa City, US) Auskunft zu diesem Dagstuhl-Seminar erteilt. Dagstuhl Service Team. Dokumente. Dagstuhl Report, Volume 7, Issue 9 Motivationstext Teilnehmerliste Gemeinsame Dokumente

Schloss Dagstuhl : Seminar Calendar

www.dagstuhl.de

Schloss Dagstuhl - Leibniz Center ... September 13 – 18 , 2015, Dagstuhl Seminar Information from Deduction: ... Viorica Sofronie-Stokkermans ...

Detail - FG DedSys - Gesellschaft für Informatik e.V.

fg-dedsys.gi.de

Viorica Sofronie-Stokkermans nominiert Uwe Waldmann (MPI Saarbrücken). Alle Kandidaten akzeptieren die Nominierung. Die Anwesenden ...

References - Redlog

www.redlog.eu

CAV 2011, LNCS 6806, pp.686–702, 2011; Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans. Decidability and Complexity for the Verification of ... › references

Alle Infos zum Namen "Viorica Sofronie-Stokkermans"

Verwandte Suchanfragen zu Viorica Sofronie-Stokkermans

Nicolas Peltier
Christoph Weidenbach
Heinrich Wansing

Matthias Thimm
Franz Baader
René Walendy

Ursula Zeeb

Personen
Vorname "Viorica" (99)
Name "Sofronie-Stokkermans" (1)

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