Publication
Title
Converting untyped formulas to typed ones
Author
Language
English
Source (journal)
Acta informatica. - Berlin
Publication
Berlin : 1998
ISSN
0001-5903
Volume/pages
35 (1998) , p. 637-643
ISI
000075856800001
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Research group
Publication type
External links
Web of Science
Record
Identifier
Creation 08.10.2008
Last edited 19.02.2023
To cite this reference