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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.