Fibring Logics: Past, Present and Future

AuthID
 P-00P-243
3
Author(s)
5
Editor(s)
Sergei N. Artëmov; Howard Barringer; Artur S. d'Avila Garcez; Luís C. Lamb; John Woods
Document Type
Proceedings Paper
Year published
2005
Published
in We Will Show Them! Essays in Honour of Dov Gabbay, Volume One in We Will Show Them! (1)
Pages: 363-388
Indexing
Dblp®/en/publications/view/723075
Publication Identifiers
DBLP: conf/birthday/CaleiroSS05
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service