Synthese

Venue Information

  • issn: 0039-7857 (print); 1573-0964 (online)

Synthese @ SpringerLink

a service of Schloss Dagstuhl - Leibniz Center for Informatics