Reports
N1 Een stelling van Wiener voor absoluut convergente
Fourrierreeksen
N1a Vraag van de funtionaalclub, dd. 5/2/'64
N2 On the counting of graphs
N3 Opmerkingen naar aanleiding van de voordrachten van
H.D. Kloosterman
over diskrete groepen van lineaire transformaties
N4 On the best approximation of linear operators
N5 Doorsnede van homomorfe beelden van idealen
N6 Over de integraalvergelijking van Abel
N7 Toevoeging aan notitie 24 juni 1964 over de
integraalvergelijking van Abel
N8 Over de integraalvergelijking van Abel II
N9 Over de sterke terugkeerstelling der ergodentheorie,
naar aanleiding van
bespreking in de functionaalclub op 21 oktober 1964
N9a Het classificeren van eindige topologie‰n
N10 Over een lemma van Jacobs, naar aanleiding van
bespreking in de
functionaaalclub op 11 november1964
N11 De universele U(w;y1,y2,...) der boomstructuren
N12 Over de axioma's van een commutatieve groep
N13 Over de functie f, gedefinieerd door ...
N14 Het asymptotisch gedrag van een integraal
N15 An asymptotic problem
N16 Over het stelsel exp(f(z)) = g(u) + z/u
N17 Enumeration of tree-shaped molecules produced from a
given atomic store
N18 Comment on a paper by E.M. Palmer and R.M. Robinson
N19 The exterior cycle index of a permutation group
N20 Bewijs van N.G. de Bruijn, uitgewerkt door L.S. van
Benthem Jutting naar
aanleiding van een vraag van F.H. Simons
N21 The strong recurrence theorem of ergodic theory
N22 Antwoord op een vraag van W. van Haeringen
N23 Combinatorial definition of a molecule
N24 SEMIPAL 2, an extension of the mathematical notational
language SEMIPAL
N25 Generalization of S.G. Williamson's generalization of
Burnside's lemma and
Polya's theorem
N26 Generating functions for context-free languages given in
Backus normal form
N27 Vérification des textes mathématiques par un
ordinateur
N28 A processor for PAL
N29 The syntax of PAL and AUTOMATH
N30 Remark on a paper by W.A.J. Luxemburg and R.F.Taylor
N31 A generalization of Burnside's lemma
N32 On the use of bound variables in AUTOMATH
N33 Coding system for AUT-QE
N34 Formulas with indications for establishing definitional
equivalence
N35 AUT-SL, a single line version of AUTOMATH
N36 Some abbreviations in the input language for AUTOMATH
N37 Characterization of inverse mappings
N38 Rearrangements by means of swappings
N39 An asymptotic problem
N40 A note on ordered bipartite graphs
N41 On a recurrence relation
N42 On the number of partition patterns of a set
N43 A framework for the description of a number of members
of the AUTOMATH family
N44 Een klaverbladknoop in de vorm van een ruimtelijke
negenhoek met rechte hoeken en
diëdrische symmetrie
N45 A theorem on Pfaffians
N46 An Algol program for deciding derivability in minimal
propositional calculus with
implication and conjunction over a three letter alphabet
N47 Finitely generated closed sets, and the relation between
T0-topologies and partially
ordered sets
N48 Introducing the reals as a totaly ordered additive group
without using the rationals
N49 On minimal two-letter propositional logic with
disjunction
N50 Modifications of the 1968 version of AUTOMATH
N51 An asymptotic problem on iterated functions
N52 Discontinuities in the asymptotics of plane trees
N53 Notation for concatenation
N54 A namefree lambda calculus with formulas involving
symbols that represent
reference transforming mappings
N55 Some auxiliary operators in AUT-II
N56 AUT-QE without type inclusion
N57 A note on weak diamond properties
N58 Some sorting machines
N59 Some machines defined by directed graphs
N60 On the generalization of the Lagrange inversion formula
to the case of several
variables
N61 Lambda calculus with postponed substitution
N62 On a problem of J. de Graaf connected with algebras of
unbounded operators
N63 Additional note on AUT-QE-NTI
N64 Towards a definition of AUT-SL by means of a formal
description of binary trees
N65 Contribution to the ICMI discussion on "The influence of
computers on mathematics
and its teaching"
N66 The rule of the superfluous third
N67 A note on non-periodic tilings of the plane
N68 A theorem on Diophantine approximation