CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
Proceedings of the Workshop on Negative or Inconclusive Results in Semantic Web, NoISE 2015 Proceedings
January 2015
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)
January 2015
-
Learning optimal policies in MDPs with value function discovery Article
ACM SIGMETRICS Performance Evaluation ReviewJanuary 2015 -
January 2015
-
Comparison of boundedness and monotonicity properties of one-leg and linear multistep methods Article
Journal of Computational and Applied Mathematics, 159-172.A. Mozartova (Anna), I. Savostianov (Igor) and W. Hundsdorfer (Willem)
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
January 2015