Publication
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)
UAntwerpen
Faculty/Department
Publication type
External links
Web of Science
Record
Identifier
Creation 08.10.2008
Last edited 04.03.2024
To cite this reference