Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,148,134 papers from all fields of science
Search
Sign In
Create Free Account
Leucoagaricus gongylophorus
Known as:
Attamyces bromatificus
, Attamyces bromatificus Kreisel
, Leucocoprinus gongylophorus
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Draft genome sequence of Trametes villosa (Sw.) Kreisel CCMB561, a tropical white-rot Basidiomycota from the semiarid region of Brazil
D. S. Ferreira
,
R. Kato
,
+10 authors
A. Góes-Neto
Data in Brief
2018
Corpus ID: 49215221
2015
2015
Functional characterization of a yellow laccase from Leucoagaricus gongylophorus
P. Ike
,
A. Moreira
,
+4 authors
D. H. Souza
SpringerPlus
2015
Corpus ID: 14992873
In this work we have identified, using mass spectrometry, two laccases produced by Leucoagaricus gongylophorus. One of them…
Expand
2011
2011
Frontier mutualism: coevolutionary patterns at the northern range limit of the leaf-cutter ant–fungus symbiosis
U. Mueller
,
A. Mikheyev
,
S. E. Solomon
,
Michael Cooper
Proceedings of the Royal Society B: Biological…
2011
Corpus ID: 9512679
Tropical leaf-cutter ants cultivate the fungus Attamyces bromatificus in a many-to-one, diffuse coevolutionary relationship where…
Expand
2005
2005
MATHEMATICAL LOGIC: WHAT HAS IT DONE FOR THE PHILOSOPHY OF MATHEMATICS?
Carlo Cellucci
2005
Corpus ID: 14310289
The aim of this paper is not to provide any systematic reconstruction of Kreisel’s views but only to discuss some claims…
Expand
2003
2003
A gregarious, mycophagous, myrmecophilous moth, Amydria anceps Walsingham (Lepidoptera: Acrolophidae), living in Atta mexicana (F. Smith) (Hymenoptera: Formicidae) spent fungal culture accumulations
S. Sanchez-Peña
,
Donald R Dams
,
U. Mueller
2003
Corpus ID: 86131598
The lepidopteran Amydria anceps Walsingham (Acrolophidae) is reported for the first time as a myrmecophile. Its gregarious larvae…
Expand
2002
2002
Kreisel’s “unwinding” program
S. Feferman
2002
Corpus ID: 11811738
Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps…
Expand
1994
1994
Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisati
R. Loader
1994
Corpus ID: 117768272
Models of Lambda Calculi and Linear Logic: T his thesis is an investigation into models of typed-calculi and of linear logic. The…
Expand
1993
1993
Modified Realizability Toposes and Strong Normalization Proofs
M. Hyland
,
C. Ong
International Conference on Typed Lambda Calculus…
1993
Corpus ID: 16587092
This paper is motivated by the discovery that an appropriate quotient SN of the strongly normalising untyped λ*-terms (where * is…
Expand
1988
1988
On a unification problem related to Kreisel's conjecture
P. Pudlák
1988
Corpus ID: 125590601
1975
1975
Failure of completeness properties of intuitionistic predicate logic for constructive models : (preliminary report)
D. Leivant
1975
Corpus ID: 56544372
We consider a principle of constructivity RED which states that every decidable predicate over the natural numbers is (weakly…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE