The Formal Reconstruction and Speedup of the Linear Time Fragment of Willard's Relational Calculus Subset
Editor(s)
Bird, Richard S. and Meertens, Lambert
Recommended Citation
D. Goyal and R. Paige, "The Formal Reconstruction and Speedup of the Linear Time Fragment of Willard's Relational Calculus Subset," Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi, Chapman & Hall, Jan 1997.
Meeting Name
IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Department(s)
Mathematics and Statistics
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 1997 Chapman & Hall, All rights reserved.
Publication Date
01 Jan 1997