1
Published 2003
Table of Contents: '; ... Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual...
Get full text
Electronic
2
Published 1990
Table of Contents: '; ...-calculus -- Implementing a model checking algorithm by adapting existing automated tools -- On-line model...
Get full text
Electronic