Signed Interval Logic

Thomas Marthedal Rasmussen

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

Original language	English
Title of host publication	10th Nordic Workshop on Programming Theory NWPT'98
Place of Publication	Turku
Publisher	Turku Centre for Computer Science
Publication date	1998
Pages	29-30
Publication status	Published - 1998
Event	10th Nordic Workshop on Programming Theory - Turku, Finland Duration: 14 Oct 1998 → 16 Oct 1998 Conference number: 10

Conference	10th Nordic Workshop on Programming Theory
Number	10
Country/Territory	Finland
City	Turku
Period	14/10/1998 → 16/10/1998

OpenUrl availability

@inproceedings{8de0eca753d24467adf5e2960a4a079a,

title = "Signed Interval Logic",

author = "Rasmussen, {Thomas Marthedal}",

year = "1998",

language = "English",

pages = "29--30",

booktitle = "10th Nordic Workshop on Programming Theory NWPT'98",

publisher = "Turku Centre for Computer Science",

note = "10th Nordic Workshop on Programming Theory , NWPT'98 ; Conference date: 14-10-1998 Through 16-10-1998",

}