11
TITLE: AN EXTENSION TO HORN CLAUSE LOGIC ALLOWING THE DEFINITION OF CONCURRENT PROCESSES
AUTHORS: MONTEIRO, L ;
PUBLISHED: 1981, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 107
INDEXED IN: WOS
Página 2 de 2. Total de resultados: 11.