Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Manuel A. Martins

Dynamic Logic With Binders and Its Application to the Development of Reactive Systems

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

On Interval Dynamic Logic: Introducing Quasi-Action Lattices

Science of Computer Programming

English