Theorem-proving for Discrete Temporal Logic

Research output: Chapter in Book/Conference paper › Chapter › peer-review

Original language	English
Title of host publication	Handbook of Temporal Reasoning in Artificial Intelligence
Editors	M Fisher, D Gabbay, L Vila
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	279-314
Volume	1
ISBN (Print)	0444514937
Publication status	Published - 2005

Name	Foundations of Artificial Intelligence

Cite this

@inbook{09b93ef9b4b4486b98f4addf1233f409,

title = "Theorem-proving for Discrete Temporal Logic",

author = "Mark Reynolds and C. Dixon",

year = "2005",

language = "English",

isbn = "0444514937",

volume = "1",

series = "Foundations of Artificial Intelligence",

publisher = "Elsevier",

pages = "279--314",

editor = "M Fisher and D Gabbay and L Vila",

booktitle = "Handbook of Temporal Reasoning in Artificial Intelligence",

address = "Netherlands",

}