Resolution-based methods for modal logics |
| |
| Authors: | de Nivelle, H Schmidt, RA Hustadt, U |
| |
| Affiliation: | A1 Max-Planck-Institut für Informatik, Im Stadtwald, 66123 Saarbrücken, Germany E-mail: nivelle@mpi-sb.mpg.de A2 Department of Computer Science, University of Manchester, Manchester M13 9PL, UK E-mail: schmidt@cs.man.ac.uk A Centre for Agent Research and Development, Department of Computing and Mathematics, Manchester Metropolitan University, Manchester M1 5GD, UK E-mail: U.Hustadt@doc.mmu.ac.uk |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ |
|
