Categorial Fibring of Logics with Terms and Binding Operators

AuthID
 P-00V-V23
4
Author(s)
2
Editor(es)
Gabbay,DM;Rijke,Md
Tipo de Documento
Proceedings Paper
Year published
1998
Publicado
in Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings in FroCoS
Páginas: 295-316
Indexing
Dblp®/pt/publications/view/912451
Publication Identifiers
DBLP: conf/frocos/SernadasSCM98
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

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

Links Úteis

Ajuda

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