The Decidability of a Fragment of Bb ' Iw-Logic

AuthID
P-000-9ZW
4
Author(s)
Finger, M
·
Silva, PSE
Document Type
Article
Year published
2004
Published
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 318, Issue: 3, Pages: 373-408 (36)
Indexing
Publication Identifiers
Dblp: journals/tcs/BrodaDFS04
Scopus: 2-s2.0-2442440701
Wos: WOS:000221896700005
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.