|
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)
|
|
|
|
| |
|