N. G. de Bruijn

According to our database1, N. G. de Bruijn authored at least 15 papers between 1967 and 2013.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Remarks on Penrose Tilings.
Proceedings of the Mathematics of Paul Erdős I, 2013

2006
Sum of a Series: 11131.
Am. Math. Mon., 2006

2005
Problem 11131.
Am. Math. Mon., 2005

2000
Jaap Seidel 80.
Des. Codes Cryptogr., 2000

1999
A Model for Associative Memory, a Basis for Thinking and Consciousness.
Proceedings of the Automata, 1999

1998
Philosophical Aspects of Computerized Verification of Mathematics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1994
Highlighting the Lambda-free Fragment of Automath.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1992
Penrose patterns are almost entirely determined by two points.
Discret. Math., 1992

1991
Telescopic Mappings in Typed Lambda Calculus
Inf. Comput., April, 1991

1988
The use of justification systems for integrated semantics.
Proceedings of the COLOG-88, 1988

1984
Some Machines Defined bu Directed Graphs.
Theor. Comput. Sci., 1984

1983
Denumerations of rooted trees and multisets.
Discret. Appl. Math., 1983

1974
Sorting by means of swappings.
Discret. Math., 1974

1972
Enumeration of Mapping Patterns.
J. Comb. Theory A, 1972

1967
Additional comments on a problem in concurrent programming control.
Commun. ACM, 1967


  Loading...