Article ISI
Logical Methods in Computer Science  (2008)

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS

Alur, R; Arenas M.; Barcelo P.; Etessami, K; Immerman, N; Libkin L.

Más información

Título según WOS: FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS
Título de la Revista: Logical Methods in Computer Science
Volumen: 4
Número: 4
Editorial: Logical Methods in Computer Science
Fecha de publicación: 2008
Idioma: English
URL: http://www.lmcs-online.org/ojs/viewarticle.php?id=394
DOI:

10.2168/LMCS-4(4:11)2008
Notas: ISI