|
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
| |
|
DOI
|
|
|
|
10.1006/INCO.2000.2961
| |
|
Volume/pages
|
|
|
|
168
:2
(2001)
, p. 156-186
| |
|
ISI
|
|
|
|
000170174600005
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|