Author:
Cruz Rosalito Perez,Crossley John Newsome
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17(3), 55–72 (1996)
2. Bidoit, M., Mosses, P.D.: CASL User Manual: Introduction to Using the Common Algebraic Specification Language. Springer, Heidelberg (2004)
3. Lecture Notes in Computer Science;A. Borgida,2003
4. Lecture Notes in Computer Science;P. Bouquet,2003
5. Buvač, S., Buvač, V., Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae 23(2/3/4), 263–301 (1995)