Publications

AuthID
P-008-43B

Author(s)

Pardo, A

Document Type

Proceedings Paper

Year published

2011

Published

in Higher-Order and Symbolic Computation, ISSN: 1388-3690

Volume: 24, Issue: 1-2, Pages: 115-149

Indexing

Scopus^®

Crossref^®5

Google Scholar^®

Publication Identifiers

DOI: 10.1007/s10990-011-9076-x

Dblp: journals/lisp/PardoFS11

Scopus: 2-s2.0-84861682511

Source Identifiers

ISSN: 1388-3690

Export Publication Metadata

Marked List

Info

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

Useful Links