Aarhus University, Denmark, Department of Computer Science

Theses (ftp)
Publications (ftp) on constraint programming
Publications (www) & (ftp) from "basic research in Computer Science" project
Publications (www) from LOMAPS project
Publications (www) from the BETA oop language project
Papers (ftp) on Linear Logic
Publications (ftp) on Action Semantics
Papers (ftp) on the BETA programming language
Papers (ftp) on Object-oriented programming
Papers (www) & (ftp) from Coloured Petri Nets project
Human contact - Brian H. Mayoh <brian@daimi.aau.dk>