Deepak Goyal, Robert Paige. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. In Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi, Pages 382-414, London, UK, UK, 1997.
[ Dbprog ]
@InProceedings{gopa97,
Author = {Goyal, Deepak and Paige, Robert},
Title = {The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset},
BookTitle = {Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi},
Pages = {382--414},
Publisher = {Chapman & Hall, Ltd},
Address = {London, UK, UK},
Year = {1997}
}
Get EndNote Reference (.ref)