The dark side of interval temporal logic: marking the undecidability border

Published 2013 View Full Article

  1. Home
  2. Publications
  3. Publication Search
  4. Publication Details
Title
The dark side of interval temporal logic: marking the undecidability border
Authors
Keywords
Interval temporal logic, Undecidability, Tiling problems, 03B44, 03D35, 68T27, 05B45
Journal
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Volume 71, Issue 1-3, Pages 41-83
Publisher
Springer Nature
Online
2013-09-06
DOI
10.1007/s10472-013-9376-4
References
View 2 related references

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Reprint

Contact the author

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now
Webinars Posters Questions Hubs Funding Journals Articles Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.