28 search results - page 2 / 6 » iscis 2004 |
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
ISCIS
2004
Springer
13 years 10 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
13 years 10 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 ...