Indagationes Mathematicae - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Indagationes Mathematicae:

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremN. G. de Bruijn. Indagationes Mathematicae, 34(5):381-392, 1972.

runs on WebDSL