The structure of differential invariants and differential cut elimination (0)

by A 2012d PLATZER
Venue:Logical Methods in Computer Science