Termination for Hybrid Tableaus

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Journal of Logic and Computation
Volume	17
Issue number	3
Pages (from-to)	517-554
ISSN	0955-792X
DOIs	https://doi.org/10.1093/logcom/exm014
Publication status	Published - 2007

Access to Document

@article{6e5734eb320541f79ea6059792b1e0da,

title = "Termination for Hybrid Tableaus",

author = "Thomas Bolander and Patrick Blackburn",

year = "2007",

doi = "10.1093/logcom/exm014",

language = "English",

volume = "17",

pages = "517--554",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}