Please use this identifier to cite or link to this item:
Title: The forall-not degree of a connective-free formula
Authors: VAN DEN BUSSCHE, Jan 
Issue Date: 1993
Source: Acta informatica, 30, p.489 - 502
Document URI:
Type: Journal Contribution
Appears in Collections:Research publications

Show full item record

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.