A Graph-Based Approach to Resolution in Temporal Logic

Clare Dixon; Michael Fisher; Howard Barringer; Dov M Gabbay; Hans Jürgen Ohlbach

A Graph-Based Approach to Resolution in Temporal Logic

Clare Dixon, Michael Fisher, Howard Barringer, Dov M Gabbay (Editor), Hans Jürgen Ohlbach (Editor)

Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ICTL
Editors	Dov M Gabbay, Hans Jürgen Ohlbach
Publisher	Springer Nature
Pages	415-429
Number of pages	15
Volume	827
ISBN (Print)	3-540-58241-X
Publication status	Published - 1994
Event	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ictl/ictl1994.html#DixonFB94http://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ictl/ictl1994.html#DixonFB94http://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94

Access to Document

Cite this

@inproceedings{c0433b1a76b741e3a4863b6e9e07e326,

title = "A Graph-Based Approach to Resolution in Temporal Logic",

author = "Clare Dixon and Michael Fisher and Howard Barringer and Gabbay, {Dov M} and Ohlbach, {Hans J{\"u}rgen}",

year = "1994",

language = "English",

isbn = "3-540-58241-X",

volume = "827",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "415--429",

editor = "Gabbay, {Dov M} and Ohlbach, {Hans J{\"u}rgen}",

booktitle = "ICTL",

address = "United States",

note = "Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ictl/ictl1994.html#DixonFB94http://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ictl/DixonFB94",

}

Dixon, C, Fisher, M, Barringer, H, Gabbay, DM (ed.) & Ohlbach, HJ (ed.) 1994, A Graph-Based Approach to Resolution in Temporal Logic. in DM Gabbay & HJ Ohlbach (eds), ICTL. vol. 827, Lecture Notes in Computer Science, Springer Nature, pp. 415-429, Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ictl/ictl1994.html#DixonFB94>

TY - GEN

T1 - A Graph-Based Approach to Resolution in Temporal Logic

AU - Dixon, Clare

AU - Fisher, Michael

AU - Barringer, Howard

A2 - Gabbay, Dov M

A2 - Ohlbach, Hans Jürgen

A2 - Gabbay, Dov M

A2 - Ohlbach, Hans Jürgen

PY - 1994

Y1 - 1994

M3 - Conference contribution

SN - 3-540-58241-X

VL - 827

T3 - Lecture Notes in Computer Science

SP - 415

EP - 429

BT - ICTL

PB - Springer Nature

T2 - Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings

Y2 - 1 January 1824

ER -