Open Implication

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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