Centrum Wiskunde & Informatica

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
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
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
Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings

A. A. Dubinova (Anna), C. Rutjes (Casper) and U. Ebert (Ute)

January 2015
Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings

A. Agnihotri (Ashutosh), W. Hundsdorfer (Willem) and U. Ebert (Ute)

January 2015
Entity-Centric Stream Filtering and Ranking: Filtering and Unfilterable Documents In Proceedings

G.G. Gebremeskel (Gebre) and A.P. de Vries (Arjen)

January 2015
Modified Douglas Splitting Methods for Reaction-Diffusion Equations Tech Report

A. Arraras (Andres), K. In't Hout (Karel), W. Hundsdorfer (Willem) and L. Portero (Laura)

January 2015
Definability Equals Recognizability for k-Outerplanar Graphs In Proceedings

L. Jaffke (Lars) and H.L. Bodlaender

January 2015

Publication

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report

Presenting Distributive Laws Article

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings

Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings

Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings

Entity-Centric Stream Filtering and Ranking: Filtering and Unfilterable Documents In Proceedings

Modified Douglas Splitting Methods for Reaction-Diffusion Equations Tech Report

Definability Equals Recognizability for k-Outerplanar Graphs In Proceedings

Address

CWI researchers

Questions or comments?

Publication

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report

Presenting Distributive Laws Article

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings

Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings

Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings

Entity-Centric Stream Filtering and Ranking: Filtering and Unfilterable Documents In Proceedings

Modified Douglas Splitting Methods for Reaction-Diffusion Equations Tech Report

Definability Equals Recognizability for k-Outerplanar Graphs In Proceedings

Workflow

Workflow

Add Content