Hybrid languages and temporal logic |
| |
Authors: | Blackburn, P Tzakova, M |
| |
Affiliation: | A1 Computerlinguistik, Universitat des Saarlandes, 66041 Saarbrucken, Germany E-mail: patrick@coli.uni-sb.de A2 Max-Planck-Institut fur Informatik, Im stadtwald, 66123 Saarbrucken, Germany E-mail: tzakova@mpi-sb.mpg.de |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|