Open Implication

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationAutomata, Languages and Programming - ICALP 2008
Publisher.
Pages361-372
Publication statusPublished - 2008
EventInternational Colloquium on Automata, Languages and Programming - Venedig, Iceland
Duration: 7 Jul 200811 Jul 2008

Conference

ConferenceInternational Colloquium on Automata, Languages and Programming
CountryIceland
CityVenedig
Period7/07/0811/07/08

Cite this

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

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Greimel, K, Bloem, RP, Jobstmann, B & Vardi, M 2008, Open Implication. in Automata, Languages and Programming - ICALP 2008. ., pp. 361-372, International Colloquium on Automata, Languages and Programming, Venedig, Iceland, 7/07/08.
Greimel K, Bloem RP, Jobstmann B, Vardi M. Open Implication. In Automata, Languages and Programming - ICALP 2008. . 2008. p. 361-372
Greimel, Karin ; Bloem, Roderick Paul ; Jobstmann, Barbara ; Vardi, Moshe. / Open Implication. Automata, Languages and Programming - ICALP 2008. ., 2008. pp. 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 -