Search alternatives:
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"
|
by Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Published 2014
Table of Contents:
“... relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index...”Published 2014
Birkhäuser
- 1
- 2