|
|||||
|
|
Resolution-based methods for modal logics |
|
| Authors: | de Nivelle H; Schmidt RA; Hustadt U |
| Institution: | 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 等数据库收录！ | |