![](https://www.pdfsearch.io/img/ee7c6e1743e538c789793eec16a7259f.jpg) Date: 2013-04-26 05:57:03
| | FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of PennsylvaniaAdd to Reading ListSource URL: marenas.sitios.ing.uc.clDownload Document from Source Website File Size: 497,59 KBShare Document on Facebook
|