Search CORE

4 research outputs found

26th International Conference on Rewriting Techniques and Applications: RTA '15, June 29 to July 1, 2015, Warsaw, Poland

Author: RTA <26. 2015, Warschau>
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date: 01/06/2015
Field of study

Digitale Bibliothek Thüringen

Contexts in Lambda Calculus

Author: Bognar M.
Publication venue: Vrije Universiteit
Publication date: 01/01/2002
Field of study

Klop, J.W. [Promotor]Vrijer, R.C. de [Copromotor

VU Research Portal

Termination and Productivity

Author: Endrullis J.
Publication venue: Amsterdam: Vrije Universiteit
Publication date: 01/01/2010
Field of study

Klop, J.W. [Promotor]Vrijer, R.C. de [Copromotor

VU Research Portal

24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

Author: Annual Conference on Computer Science Logic 24. 2015 Berlin
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Publication date: 01/09/2015
Field of study

Digitale Bibliothek Thüringen

core

core