To the decision problem for branching time logic

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

Original language	English
Title of host publication	Foundations of logic and linguistics (Salzburg, 1983)
Publisher	Plenum Publishers
Pages	181-198
Number of pages	18
ISBN (Print)	0-306-41916-5
State	Published - 1985

Cite this

@inproceedings{457f0c072a45466ebcf4b7c795115838,

title = "To the decision problem for branching time logic",

author = "Yuri Gurevich and Saharon Shelah",

year = "1985",

language = "אנגלית",

isbn = "0-306-41916-5",

pages = "181--198",

booktitle = "Foundations of logic and linguistics (Salzburg, 1983)",

publisher = "Plenum Publishers",

address = "ארצות הברית",

}