Publicações

AuthID
P-014-ABF

Author(s)

Pinto, L

Tipo de Documento

Book Chapter

Year published

2004

Publicado

in Lecture Notes in Computer Science - Types for Proofs and Programs, ISSN: 0302-9743

Páginas: 194-209

Indexing

Crossref^®2

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-540-24849-1_13

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis