DMCA

Counterpart Semantics for a Second-Order µ-Calculus

by Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
Venue:FUNDAMENTA INFORMATICAE
Citations:3 - 2 self