Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Leucoagaricus gongylophorus

Known as: Attamyces bromatificus, Attamyces bromatificus Kreisel, Leucocoprinus gongylophorus 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In this paper, we show how to construct for a given consistent theory $U$ a $\Sigma^0_1$-predicate that both satisfies the L\"ob… Expand
Is this relevant?
2015
2015
In this work we have identified, using mass spectrometry, two laccases produced by Leucoagaricus gongylophorus. One of them… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2011
2011
Tropical leaf-cutter ants cultivate the fungus Attamyces bromatificus in a many-to-one, diffuse coevolutionary relationship where… Expand
  • figure 1
  • figure 2
Is this relevant?
2005
2005
The aim of this paper is not to provide any systematic reconstruction of Kreisel’s views but only to discuss some claims… Expand
Is this relevant?
2002
2002
Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps… Expand
Is this relevant?
1994
1994
Models of Lambda Calculi and Linear Logic: T his thesis is an investigation into models of typed-calculi and of linear logic. The… Expand
Is this relevant?
1994
1994
The remarkable properties of certain tops are due to a conservation law which originates in the geometry of the frictional forces… Expand
Is this relevant?
1993
1993
This paper is motivated by the discovery that an appropriate quotient SN of the strongly normalising untyped λ*-terms (where * is… Expand
Is this relevant?
1988
1988
 
Is this relevant?
1980
1980
Given its biographical and documentary purpose. Another Country will be of considerable value to Kreisel's admirers. The material… Expand
Is this relevant?