On the Succinctness of RoCTL

John Mccabe-Dansted

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Volume 119 - Seventeenth Computing: The Australasian Theory Symposium
Place of Publication	Australia
Publisher	Australian Computer Society
Pages	85-94
Volume	119
ISBN (Print)	14451336
Publication status	Published - 2011
Event	Seventeenth Computing: The Australasian Theory Symposium - Perth, Australia Duration: 11 Jan 2011 → 13 Jan 2011

Conference	Seventeenth Computing: The Australasian Theory Symposium
Abbreviated title	CATS 2011
Country/Territory	Australia
City	Perth
Period	11/01/11 → 13/01/11

Cite this

@inproceedings{e196727a7d744f16af9f40aa7e5a2f93,

title = "On the Succinctness of RoCTL",

author = "John Mccabe-Dansted",

year = "2011",

language = "English",

isbn = "14451336",

volume = "119",

pages = "85--94",

booktitle = "Volume 119 - Seventeenth Computing: The Australasian Theory Symposium",

publisher = "Australian Computer Society",

address = "Australia",

note = "Seventeenth Computing: The Australasian Theory Symposium, CATS 2011 ; Conference date: 11-01-2011 Through 13-01-2011",

}

TY - GEN

T1 - On the Succinctness of RoCTL

AU - Mccabe-Dansted, John

PY - 2011

Y1 - 2011

M3 - Conference paper

SN - 14451336

VL - 119

SP - 85

EP - 94

BT - Volume 119 - Seventeenth Computing: The Australasian Theory Symposium

PB - Australian Computer Society

CY - Australia

T2 - Seventeenth Computing: The Australasian Theory Symposium

Y2 - 11 January 2011 through 13 January 2011

ER -