Publication
Title
The forall-not degree of a connective-free formula
Author
Language
English
Source (journal)
Acta informatica. - Berlin
Publication
Berlin : 1993
ISSN
0001-5903
Volume/pages
30(1993), p. 489-502
UAntwerpen
Faculty/Department
Research group
Publication type
Affiliation
Publications with a UAntwerp address
External links
Record
Identification
Creation 08.10.2008
Last edited 10.07.2013
To cite this reference