|
|||||
|
|
Hybrid languages and temporal logic |
|
| Authors: | Blackburn P; Tzakova M |
| Institution: | 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 等数据库收录！ | |