Reserved Area
Bio
Publications
Alexandre Madeira
Software Engineering
Assistant Researcher
(email)
Proof theory for hybrid(ised) logics
Citation:
Neves R, Madeira A, Martins MA, Barbosa L{\'ı}s S. 2016. Proof theory for hybrid(ised) logics. Sci. Comput. Program.. 126:73–93.
Export
RTF
Tagged
XML
BibTex
Google Scholar
Abstract:
n/a
Notes:
n/a
Website
Citation Key:
DBLP:journals/scp/NevesMMB16