Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/4603
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: http://hdl.handle.net/1942/4603
Type: Journal Contribution
Appears in Collections:Research publications

Show full item record

Google ScholarTM

Check


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