Author:
Popescu Andrei,Roşu Grigore
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. John Wiley & Sons, Chichester (1990)
2. Benabou, J.: Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic 50, 10–37 (1985)
3. Lecture Notes in Computer Science;M. Bidoit,2002
4. Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoretical Computer Science 3(298), 471–510 (2003)
5. Lecture Notes in Computer Science;M. Bidoit,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CafeOBJ Traces;Specification, Algebra, and Software;2014