Publicações

A Quantitative Understanding of Pattern Matching

AuthID
P-00S-7F5

Author(s)

Alves, S

Kesner, D

Ventura, D

Editor(es)

Marc Bezem; Assia Mahboubi

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. in LIPIcs, ISSN: 1868-8969

Volume: 175, Páginas: 3:1-3:36

Conference

25Th International Conference on Types for Proofs and Programs, Types 2019, Date: 11 June 2019 through 14 June 2019, Patrocinadores: The Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters

Indexing

Scopus^®

Dblp^®/pt/publications/view/826853

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.4230/lipics.types.2019.3

DBLP: conf/types/AlvesKV19

SCOPUS: 2-s2.0-85092795631

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

A Quantitative Understanding of Pattern Matching

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Quantitative Understanding of Pattern Matching

Links Úteis

Ajuda