|
|||||
|
|
The computational complexity of hybrid temporal logics |
|
| Authors: | Areces C; Blackburn P; Marx M |
| Institution: | ILLC, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018TV, Amsterdam, The Netherlands A1 E-mail: carlos@wins.uva.nl A2 E-mail: marx@wins.uva.nl A3 Computerlinguistik, Universität des Saarlandes, 66041, Saarbrücken, Germany E-mail: patrick@coli.uni-sb.de |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |