Author:
Mossakowski Till,Goguen Joseph,Diaconescu RĂzvan,Tarlecki Andrzej
Reference35 articles.
1. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.
2. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic, 7:221–265, 1974.
3. J.-Y. Béziau, R..P. de Freitas, and J.P. Viana. What is classical propositional logic? (a study in universal logic). Logica Studies, 7, 2001.
4. M. Bidoit and R. Hennicker. On the integration of observability and reachability concepts. In M. Nielsen and U. Engberg, editors, FoSSaCS 2002, volume 2303 of Lecture Notes in Computer Science, pages 21–36. Springer, 2002.
5. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. Lecture Notes in Computer Science, 1059:241–256, 1996.
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献