• Parallel First-Order Dynamic L...

*Result*: Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization

Title:
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization
Advanced parallel processing technologies; APPT 2007
Authors:
Zhang, Z., Jiang, Y.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4847):600-607
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN066606611&indx=1&recIds=ETOCCN066606611
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings