28 search results - page 2 / 6 » iscis 2004 |
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...