Equality and Monodic First-Order Temporal Logic (2002)

Cached

Download Links

by Anatoli Degtyarev , Michael Fisher , Alexei Lisitsa
Venue:Studia Logica
Citations:14 - 7 self