Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Di...
This paper deals with graph invariants and stabilization procedures. We consider colored graphs and their automorphisms and we discuss the isomorphism problem for such graphs. Various global and local...
The stabilization algorithm of Weisfeiler and Leman has as an input any square matrix A of order n and returns the minimal cellular (coherent) algebra W (A) which includes A. In case when A = A(\Gamma...
There is still no widely accepted system to exploit the capabilities offered by the tremendously grown number of computers connected to the Internet or to large intranets. Missing abstractions as well...