Publications

AuthID
P-007-8DA

Author(s)

Barthe, G

Hatcliff, J

Document Type

Article

Year published

1999

Published

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

Volume: 12, Issue: 2, Pages: 125-170

Indexing

Scopus^®

Crossref^®19

Google Scholar^®

Publication Identifiers

DOI: 10.1023/a:1010000206149

Scopus: 2-s2.0-0032691322

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