Signed Interval Logic

Thomas Marthedal Rasmus Rasmussen

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

Original language	English
Title of host publication	Computer Science Logic
Publisher	Springer Verlag
Publication date	1999
Pages	157-171
Publication status	Published - 1999
Event	Computer Science Logic - Spain Duration: 1 Jan 1999 → …

OpenUrl availability

@inproceedings{b7ad63c711714142804b744c43da4ddd,

title = "Signed Interval Logic",

author = "Rasmussen, {Thomas Marthedal Rasmus}",

year = "1999",

language = "English",

pages = "157--171",

booktitle = "Computer Science Logic",

publisher = "Springer Verlag",

address = "Germany",

note = "Computer Science Logic ; Conference date: 01-01-1999",

}