Luís Fernando Lopes Monteiro


AuthID: R-000-9DS

Confirmed Publications: 11



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
Page 2 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service