Publications

AuthID
P-00P-243

Author(s)

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

Publication Identifiers

Dblp: conf/birthday/CaleiroSS05

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links