DMCA

Natural deduction calculus for linear-time temporal logic (2006)

Cached

Download Links

by Er Bolotov , Artie Basukoski , Oleg Grigoriev
Venue:In To be publsihed in the Proceedings of Jelia-2006, LNAI 4160
Citations:10 - 7 self