Publications

AuthID
P-002-2Y7

Author(s)

Document Type

Article

Year published

2012

Published

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

Volume: 22, Issue: 6, Pages: 1257-1277 (21)

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1093/logcom/exs035

Dblp: journals/logcom/Pereira12

Scopus: 2-s2.0-84870216472

Wos: WOS:000311670000001

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