11 search results - page 3 / 3 » Prime Implicate Normal Form for ALC Concepts |
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...