Author:
Hennicker Rolf,Madeira Alexandre
Publisher
Springer International Publishing
Reference17 articles.
1. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286(2), 153–196 (2002)
2. Barbuti, R., Francesco, N.D., Santone, A., Vaglini, G.: Selective mu-calculus and formula-based equivalence of transition systems. J. Comput. Syst. Sci. 59(3), 537–556 (1999)
3. Bidoit, M., Hennicker, R.: Constructor-based observational logic. J. Log. Algebr. Program. 67(1–2), 3–51 (2006)
4. Applied Logic Series;T Braüner,2010
5. Goguen, J.: Types as theories. In: George Michael Reed, A.W.R., Wachter, R.F., (eds.) Topology and Category Theory in Computer Science (1991)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献