DMCA

A Query Language Based on the Ambient Logic (2001)

by Luca Cardelli , Giorgio Ghelli
Citations:53 - 10 self