Logics of Programs

Venue statistics

records by year

document access 

    frequent authors

      Logics of Programs 1985: Brooklyn College, New York, NY, USA

      Logics of Programs 1983: Pittsburgh, PA, USA

      Logics of Programs 1981: Yorktown Heights, NY, USA

      Logics of Programs 1980: Poznan, Poland

      Logics of Programs 1979: Zürich, Switzerland

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics