|
|
|
Volumn , Issue , 1996, Pages 164-173
|
|
Essence of parallel Algol
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGOL (PROGRAMMING LANGUAGE);
FORMAL LOGIC;
PARALLEL PROCESSING SYSTEMS;
PROGRAMMING THEORY;
THEOREM PROVING;
PARALLEL PROGRAMS;
PARALLEL SETTING;
COMPUTATIONAL LINGUISTICS;
|
|
EID: 0029719150
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (9)
|
|
References (12)
|
