Publicações

AuthID
P-00G-FCF

Author(s)

Matthes, R

Nakazawa, K

Editor(s)

Oliva P.

Document Type

Proceedings Paper

Year published

2014

Published

in Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN: 2075-2180

Volume: 164, Pages: 63-77

Conference

5Th International Workshop on Classical Logic and Computation, Clandc 2014, Date: 13 July 2014

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.164.5

Scopus: 2-s2.0-84938604972

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Info

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

Useful Links