1
TITLE: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
AUTHORS: Till Mossakowski; Ugo Montanari; Magne Haveraaen;
PUBLISHED: 2007, SOURCE: CALCO, VOLUME: 4624
INDEXED IN: DBLP
2
TITLE: Categorial Fibring of Logics with Terms and Binding Operators
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXED IN: DBLP