Article SCOPUS
Logical Methods in Computer Science  (2016)

Order-invariant types and their applications

Barcelo P.; Libkin, L

Más información

Título según SCOPUS: Order-invariant types and their applications
Título de la Revista: Logical Methods in Computer Science
Volumen: 12
Número: 1
Editorial: Logical Methods in Computer Science
Fecha de publicación: 2016
Idioma: English
DOI:

10.2168/LMCS-12(1:9)2016
Notas: SCOPUS