Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference9 articles.
1. Delahaye J P, Thibau V. Programming in three-valued logic.Theoret. Comput. Sci., 1991, 78:189–216.
2. Fitting M. Partial model and logic programming.Theoret. Comput. Sci., 1986, 48: 229–255.
3. Goguen J A, Burstall R M. Introducing institutions. InProceedings of the Logics of Programming Working-Shop, Lecture Notes in Computer Science 164, Clarke E, Kozen D (eds.), Springer-Verlag, New York, 1984, 221–256.
4. Goguen J A, Burstall R M. Institutions: abstract model theory for specification and programming.JACM, 1992, 39: 95–146.
5. Lecture Notes in Computer Science;J A Goguen,1986