• Set-Based Analysis for Logic P...

Treffer: Set-Based Analysis for Logic Programming and Tree Automata

Title:
Set-Based Analysis for Logic Programming and Tree Automata
Static Analysis
Authors:
Devienne, P., Talbot, J. M., Tison, S.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (1302):127-140
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN031754884&indx=1&recIds=ETOCRN031754884
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings