Scientific links

An open journal: Logical Methods in Computer Science.

Links to laboratories having related researches

Lehrstuhl Informatik VII (Aachen)

LaBRI (Bordeaux)

LFCS (Edinburgh)