Publication
Title
Converting untyped formulas to typed ones
Author
van den Bussche, J.
Cabibbo, L.
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)
https://doi.org/10.1007/S002360050135
UAntwerpen
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Research group
Publication type
A1 Journal article
External links
Web of Science
View record in Web of ScienceĀ®
View citing articles in Web of ScienceĀ®
Record
Identifier
Creation
08.10.2008
Last edited
19.02.2023
To cite this reference
https://hdl.handle.net/10067/255660151162165141