Publications

AuthID
P-000-33X

Author(s)

Document Type

Article

Year published

2005

Published

in JOURNAL OF LOGIC AND COMPUTATION, ISSN: 0955-792X

Volume: 15, Issue: 3, Pages: 353-390 (38)

Indexing

Wos^®

Scopus^®

Crossref^®13

Google Scholar^®

Publication Identifiers

DOI: 10.1093/logcom/exi016

DBLP: journals/logcom/BrodaD05

SCOPUS: 2-s2.0-20844462930

Wos: WOS:000229286400005

Source Identifiers

ISSN: 0955-792X

Export Publication Metadata

Marked List

Info

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

Useful Links