Sherly Nietiadi

According to our database, Sherly Nietiadi authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Deductive temporal reasoning with constraints.

Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi

J. Appl. Log., 2013