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