A Logic You Can Count On (2004)

Cached

Download Links

by Silvano Dal Zilio , Denis Lugiez , Charles Meyssonnier
Venue:In POPL 2004 – 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:16 - 0 self