Marta Carreteiro

According to our database, Marta Carreteiro authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

A Hilbert-Style Axiomatisation for Equational Hybrid Logic.

Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro

J. Log. Lang. Inf., 2014