Publication
Title
Adding for-loops to first-order logic
Author
Language
English
Source (journal)
Information and computation. - London, 1987, currens
Publication
London : 2001
ISSN
0890-5401
Volume/pages
168:2(2001), p. 156-186
ISI
000170174600005
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Research group
Publication type
External links
Web of Science
Record
Identification
Creation 08.10.2008
Last edited 16.06.2017