| Dynamic many-valued logics for searching games with errors |
| English |
| Teheux, Bruno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >] |
| 2013 |
| Yes |
| No |
| International |
| Manyval 2013 |
| from 04-09-2013 to 06-09-2013 |
| Institute of Computer Science, Academy of Sciences of the Czech Republic |
| Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic |
| Institute of Philosophy, Academy of Sciences of the Czech Republic |
| Prague |
| Czech Republic |
| [en] dynamic logic ; many-valued logic ; modal logic |
| Researchers |
| http://hdl.handle.net/10993/7562 |