 |
 |
|
|
| HAL: hal-00607775, version 1 |
| Detailed view |  Export this paper |
 |
| GEOCAL-LAC, Vandoeuvre-lès-Nancy : France (2011) |
|
|
|
|
| Phase Semantics and the Undecidability of Boolean BI |
|
|
| Dominique Larchey-Wendling 1 |
|
|
| (2011-05-12) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | TYPES (LORIA) |
|
|
|
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science Mathematics/Logic |
|
|
| Phase semantics – Boolean BI – undecidability – Minsky machines |
|
| hal-00607775, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00607775 | |
| oai:hal.archives-ouvertes.fr:hal-00607775 | |
| From: Dominique Larchey-Wendling | |
| Submitted on: Monday, 11 July 2011 11:25:42 | |
| Updated on: Monday, 11 July 2011 11:25:42 | |
