Methods of Logic in Computer Science

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech
      • 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