Title
|
|
|
|
Converting untyped formulas to typed ones
| |
Author
|
|
|
|
| |
Language
|
|
|
|
English
| |
Source (journal)
|
|
|
|
Acta informatica. - Berlin
| |
Publication
|
|
|
|
Berlin
:
1998
| |
ISSN
|
|
|
|
0001-5903
| |
DOI
|
|
|
|
10.1007/S002360050135
| |
Volume/pages
|
|
|
|
35
(1998)
, p. 637-643
| |
ISI
|
|
|
|
000075856800001
| |
Full text (Publisher's DOI)
|
|
|
|
| |
|