Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

PDF
English
Year: 2004
Author: Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

Newman’s Proof of Newman’s Lemma

PDF
English
Year: 2005
Author: Vincent van Oostrom

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

PDF
English
Year: 2005
Author: Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)

Logic colloquium '99: lecture notes in logic 17

DJVU
English
Year: 2004
Author: Oostrom, Vincent van; Van Eijck, Jan; Visser, Albert (eds.)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999

DJVU
English
Year: 2004
Author: Jan Van Eijck, Vincent Van Oostrom, Albert Visser (eds.)

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

PDF
English
Year: 1980
Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

PDF
English
Year: 1986
Author: Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

Über den Bau der Atome

PDF
German
Year: 1925
Author: Niels Bohr (auth.), Niels Bohr (eds.)

Stemmen op schrift - Geschiedenis van de Nederlandse literatuur vanaf het begin tot 1300

PDF
Dutch
Year: 2016
Author: F.P. van Oostrom

Wereld in woorden - Geschiedenis van de Nederlandse literatuur 1300-1400

PDF
Dutch
Year: 2013
Author: F.P. van Oostrom