Paper Title:
A logic for the schema calculus Authored By:M.C. Henson and S.V. Reeves Number:98/5 Publisher:Department of Computer Science, The University of Waikato Publication Date:1998 Pages:1-20
Bibtex Record:
@workingpaper{
Author = {Henson, M.C. and Reeves, S.V.},
Title = {A logic for the schema calculus},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {98/5},
Pages = {1-20},
Year = {1998}
}
