Publications

AuthID
P-00K-6BP

Author(s)

Document Type

Article

Year published

2016

Published

in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, ISSN: 0960-1295

Volume: 26, Issue: 3, Pages: 367-423 (57)

Indexing

Wos^®

Scopus^®

Crossref^®74

Google Scholar^®

Publication Identifiers

DOI: 10.1017/s0960129514000218

Dblp: journals/mscs/CairesPT16

Scopus: 2-s2.0-84957625632

Wos: WOS:000369901000002

Source Identifiers

ISSN: 0960-1295

Export Publication Metadata

Marked List

Info

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

Useful Links