Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Behavioural theories and the proof of behavioural properties;Bidoit;Theor. Comput. Sci.,1996
2. Bidoit, M., and Hennicker, R. Proving behavioral refinements of col-specifications. In Essays Dedicated to Joseph A. Goguen (2006), pp. 333–354
3. Observational logic, constructor-based logic, and their duality;Bidoit;Theor. Comput. Sci.,2003
4. Blok, W., and Pigozzi, D. Abstract algebraic logic and the deduction theorem. Preprint. To appear in the Bulletin of Symbolic Logic. Available at http://www.math.iastate.edu/dpigozzi/papers/aaldedth.pdf
5. Algebraizable logics;Blok;Memoirs of the American Mathematical Society,1989
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The role of logical interpretations in program development;Logical Methods in Computer Science;2014-01-03
2. Refinement by interpretation in π-institutions;Electronic Proceedings in Theoretical Computer Science;2011-06-17
3. Refinement by Interpretation in a General Setting;Electronic Notes in Theoretical Computer Science;2009-12
4. Refinement via Interpretation;2009 Seventh IEEE International Conference on Software Engineering and Formal Methods;2009