Extended Computation Tree Logic (Extended Abstract). / Alexsson, Roland; Hague, Matthew; Kreutzer, Stephan; Lange, Martin; Latte, Markus.

LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning. 2010.

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

Published
  • Roland Alexsson
  • Matthew Hague
  • Stephan Kreutzer
  • Martin Lange
  • Markus Latte
Original languageEnglish
Title of host publicationLPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning
Publication statusPublished - 2010
EventLPAR: Logic for Programming, Artificial Intelligence and Reasoning - Yogyakarta, Indonesia
Duration: 10 Oct 201015 Oct 2010

Conference

ConferenceLPAR: Logic for Programming, Artificial Intelligence and Reasoning
CountryIndonesia
CityYogyakarta
Period10/10/1015/10/10

ID: 25572874