Modularity reflects the Frege Principle: any two expressions expr(1) and expr(2) which have the same meaning (semantics) can be replaced by each other...
The use of a so-called concept lattice for deriving concepts from a given set of entities and attributes is examined. A number of variations are discu...
The capability of one-way (space-bounded) cellular automata (OCA) to time-compute functions is investigated. That means given a constant input of leng...
In order to give a semantics to concurrent processes we need a model having some good mathematical properties. To this end we generalize (infinite) Ma...
A global record (i.e. a set of local records, one for each process of an asynchronous computation) abstracts what is usually called global state, glob...
