Cooperation of Universidade Nova de Lisboa and Technische Universität at Dresden in the field of Computational Logic

Authors

Luís Moniz Pereira,