DMCA

Arbitrary Public Announcement Logic with Mental Programs

Cached

Download Links

by Tristan Charrier , François Schwarzentruber
Citations:1 - 0 self