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 COMPUTER SCIENCE E V
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