Open Implication

Karin Greimel, Roderick Paul Bloem, Barbara Jobstmann, Moshe Vardi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelAutomata, Languages and Programming - ICALP 2008
Herausgeber (Verlag).
Seiten361-372
PublikationsstatusVeröffentlicht - 2008
VeranstaltungInternational Colloquium on Automata, Languages and Programming - Venedig, Island
Dauer: 7 Jul 200811 Jul 2008

Konferenz

KonferenzInternational Colloquium on Automata, Languages and Programming
LandIsland
OrtVenedig
Zeitraum7/07/0811/07/08

Dies zitieren

Greimel, K., Bloem, R. P., Jobstmann, B., & Vardi, M. (2008). Open Implication. in Automata, Languages and Programming - ICALP 2008 (S. 361-372). ..

Open Implication. / Greimel, Karin; Bloem, Roderick Paul; Jobstmann, Barbara; Vardi, Moshe.

Automata, Languages and Programming - ICALP 2008. ., 2008. S. 361-372.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Greimel, K, Bloem, RP, Jobstmann, B & Vardi, M 2008, Open Implication. in Automata, Languages and Programming - ICALP 2008. ., S. 361-372, Venedig, Island, 7/07/08.
Greimel K, Bloem RP, Jobstmann B, Vardi M. Open Implication. in Automata, Languages and Programming - ICALP 2008. . 2008. S. 361-372
Greimel, Karin ; Bloem, Roderick Paul ; Jobstmann, Barbara ; Vardi, Moshe. / Open Implication. Automata, Languages and Programming - ICALP 2008. ., 2008. S. 361-372
@inproceedings{c481698073974ba8abcf15e8066fb0b6,
title = "Open Implication",
author = "Karin Greimel and Bloem, {Roderick Paul} and Barbara Jobstmann and Moshe Vardi",
year = "2008",
language = "English",
pages = "361--372",
booktitle = "Automata, Languages and Programming - ICALP 2008",
publisher = ".",

}

TY - GEN

T1 - Open Implication

AU - Greimel, Karin

AU - Bloem, Roderick Paul

AU - Jobstmann, Barbara

AU - Vardi, Moshe

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 361

EP - 372

BT - Automata, Languages and Programming - ICALP 2008

PB - .

ER -