Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

21
TÍTULO: Logics for Specifying Concurrent Information Systems
AUTORES: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLICAÇÃO: 1998, FONTE: Logics for Databases and Information Systems
INDEXADO EM: DBLP
NO MEU: DBLP
22
TÍTULO: Categorial Fibring of Logics with Terms and Binding Operators
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: FroCoS
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service