Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
21
TITLE: Logics for Specifying Concurrent Information Systems
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLISHED: 1998, SOURCE: Logics for Databases and Information Systems
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLISHED: 1998, SOURCE: Logics for Databases and Information Systems
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
TITLE: Categorial Fibring of Logics with Terms and Binding Operators
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: FroCoS
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: FroCoS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP