| Title |
|
|
|
On minimizing the ≩ degree of a connective-free formula
| |
| Author |
|
|
| | |
| Abstract |
|
|
| | |
| Language |
|
|
|
English
| |
| Source (journal) |
|
|
|
Acta informatica. - Berlin | |
| Publication |
|
|
|
Berlin : 1993
| |
| ISSN |
|
|
|
0001-5903
| |
| Volume/pages |
|
|
|
30:5(1993), p. 489-502
| |
| ISI |
|
|
|
A1993LV04100007
| |
| Full text (Publisher's DOI) |
|
|
| | |
|