Author:
Glauer Martin,Mossakowski Till
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;S Alagić,2002
2. Borzyszkowski, T.: Generalized interpolation in CASL. Inf. Process. Lett. 76(1–2), 19–24 (2000)
3. Diaconescu, R.: Herbrand theorems in arbitrary institutions. Inf. Process. Lett. 90, 29–37 (2004)
4. Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Proceedings of a Workshop on Logical Frameworks (1991)
5. Studies in Universal Logic;R Diaconescu,2008