Publication
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report
January 2015
-
January 2015
-
Next Generation Cluster Editing Article
PeerJ PrePrintsJanuary 2015
-
January 2015
-
Achieving human and machine accessibility of cited data in scholarly publications Article
PeerJ Computer Science, 2015(1)January 2015
-
Interaction design for online video and television In Proceedings
January 2015
-
Proceedings of the Workshop on Negative or Inconclusive Results in Semantic Web, NoISE 2015 Proceedings
January 2015