Methods of Logic in Computer Science

Venue Information

  • issn: 1075-0924 (print)
  • status: as of 1994, this venue has been discontinued

Methods of Logic in Computer Science @ ACM DL

a service of Schloss Dagstuhl - Leibniz Center for Informatics