Search the dblp DataBase

Publications of Author

1. N. G. de Bruijn
   The use of justification systems for integrated semantics. [Citation Graph (0, 0)][DBLP]
   Conference on Computer Logic, 1988, pp:9-24 [Conf]
   
2. N. G. de Bruijn
   A Model for Associative Memory, a Basis for Thinking and Consciousness. [Citation Graph (0, 0)][DBLP]
   ICALP, 1999, pp:74-89 [Conf]
   
3. N. G. de Bruijn
   Philosophical Aspects of Computerized Verification of Mathematics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1998, pp:1-9 [Conf]
   
4. N. G. de Bruijn
   Highlighting the Lambda-free Fragment of Automath. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1994, pp:81-96 [Conf]
   
5. N. G. de Bruijn
   Additional comments on a problem in concurrent programming control. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1967, v:10, n:3, pp:137-138 [Journal]
   
6. N. G. de Bruijn
   Jaap Seidel 80. [Citation Graph (0, 0)][DBLP]
   Des. Codes Cryptography, 2000, v:21, n:1/3, pp:7-10 [Journal]
   
7. N. G. de Bruijn
   Telescopic Mappings in Typed Lambda Calculus [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1991, v:91, n:2, pp:189-204 [Journal]
   
8. N. G. de Bruijn
   Enumeration of Mapping Patterns. [Citation Graph (0, 0)][DBLP]
   J. Comb. Theory, Ser. A, 1972, v:12, n:1, pp:14-20 [Journal]
   
9. N. G. de Bruijn
   Some Machines Defined bu Directed Graphs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:32, n:, pp:309-319 [Journal]
   
10. N. G. de Bruijn
    Penrose patterns are almost entirely determined by two points. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1992, v:106, n:, pp:97-104 [Journal]