Home

G.__Kutty


Axiomatizations of interval logics

Specification of a communication protocol in graphical interval logic