Type of document: Typescript

Language: English

Author(s): Aanderaa, Stål Olav ; Börger, Egon ; Gurevich, Yuri

Title: Prefix Classes of Krom Formulae with Identity

Year: 1979

Source: Abteilung Informatik Universität Dortmund

Pages: 1-8

Catalog