Author:
Thomsen Jakob G.,Clausen Christian,Andersen Kristoffer J.,Danaher John,Ernst Erik
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development – Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, vol. XXV. Springer (2004)
4. Blakeley, J.A., Coburn, N., Larson, P.-Å.: Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Trans. Database Syst. 14(3), 369–400 (1989)
5. Blaustein, B.T.: Enforcing database assertions: Techniques and applications. Number 21-81. Thesis, Ph.D (1981)