Publicações no PortAberta

Co-autor de rede

Mapa da Ciência

Martins, MA

Pessoa

Publicações
Contato
Ver Todos

publicações selecionadas

artigo de conferência
- Precise duty-cycle measurement for time of transit ultrasound flowmeters 2010
- Mechanics and electronics of the footballer autonomous mobile robot 1999
artigo de revista
- A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic Language and Information. 2014
capítulo de livro
- An Institution for Alloy and Its Translation to Second-Order Logic. AI Communications. 2013