BibSonomy :: author  ::

bookmarks

publications

(61)

• Associative Long-Term Depression in the Hippocampus Is Dependent On Postsynaptic N. Type Ca2+ Channels.
  Claus Normann and Diana Peckys and Josef Bischofberger Journal of Neuroscience 20 8290 (2000)
  to ltp by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• The contradictory nature of knowledge: a challenge for understanding innovation in a local context and workplace development and for doing action research.
  Hans Chr Garmann Johnsen and James Karlsen and Roger Normann and Jens Fosse AI Soc. 23 85-98 (2009)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Total objects in inductively defined types.
  Lill Kristiansen and Dag Normann Arch. Math. Log. 36 405-436 (1997)
  to dblp by dblp on 2008-07-17 00:00:00
  | URL | BibTeX  
• Hereditarily effective typestreams.
  Dag Normann Arch. Math. Log. 36 219-225 (1997)
  to dblp by dblp on 2008-07-17 00:00:00
  | URL | BibTeX  
• Closing the gap between the continuous functionals and recursion in 3E.
  Dag Normann Arch. Math. Log. 36 269-287 (1997)
  to dblp by dblp on 2008-07-17 00:00:00
  | URL | BibTeX  
• Continuity, proof systems and the theory of transfinite computations.
  Dag Normann Arch. Math. Log. 41 765-788 (2002)
  to dblp by dblp on 2008-07-14 00:00:00
  | URL | BibTeX  
• Limit spaces and transfinite types.
  Dag Normann and Geir Waagb Arch. Math. Log. 41 525-539 (2002)
  to dblp by dblp on 2008-07-14 00:00:00
  | URL | BibTeX  
• Representation theorems for transfinite computability and definability.
  Dag Normann Arch. Math. Log. 41 721-741 (2002)
  to dblp by dblp on 2008-07-14 00:00:00
  | URL | BibTeX  
• On sequential functionals of type 3.
  Dag Normann Mathematical Structures in Computer Science 16 279-289 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• Mathematics of computing at CiE 2005.
  S. Barry Cooper and Benedikt Löwe and Dag Normann Mathematical Structures in Computer Science 16 735-736 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX