Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Structure of a Class C GPCR Metabotropic Glutamate Receptor 1 Bound to an Allosteric ModulatorWu, Huixian ; Wang, Chong ; Gregory, Karen J. ; Han, Gye Won ; Cho, Hyekyung P. ; Xia, Yan ; Niswender, Colleen M. ; Katritch, Vsevolod ; Meiler, Jens ; Cherezov, Vadim ; Conn, P. Jeffrey ; Stevens, Raymond C.Science (American Association for the Advancement of Science), 2014-04, Vol.344 (6179), p.58-64 [Periódico revisado por pares]United States: American Association for the Advancement of ScienceTexto completo disponível |
|
2 |
Material Type: Artigo
|
Simple computation of st-edge- and st-numberings from ear decompositionsSchlipf, Lena ; Schmidt, Jens M.Information processing letters, 2019-05, Vol.145, p.58-63 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Reductions between types of numberingsHerbert, Ian ; Jain, Sanjay ; Lempp, Steffen ; Mustafa, Manat ; Stephan, FrankAnnals of pure and applied logic, 2019-12, Vol.170 (12), p.102716, Article 102716 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Partial combinatory algebra and generalized numberingsBarendregt, Henk ; Terwijn, Sebastiaan A.Theoretical computer science, 2022-08, Vol.925, p.37-44 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Computable Numberings of Families of Infinite SetsDorzhieva, M. V.Algebra and logic, 2019-07, Vol.58 (3), p.224-231 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
6 |
Material Type: Artigo
|
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGSGRABMAYR, BALTHASAR ; VISSER, ALBERTThe review of symbolic logic, 2023-06, Vol.16 (2), p.385-424 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
Effectivity questions for Kleene's recursion theoremCase, John ; Jain, Sanjay ; Stephan, FrankTheoretical computer science, 2018-07, Vol.733, p.55-70 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Informal Numeracy Skills: The Structure and Relations Among Numbering, Relations, and Arithmetic Operations in PreschoolPurpura, David J. ; Lonigan, Christopher J.American educational research journal, 2013-02, Vol.50 (1), p.178-209 [Periódico revisado por pares]Los Angeles, CA: SAGE PublicationsTexto completo disponível |
|
9 |
Material Type: Artigo
|
Fixed point theorems for precomplete numberingsBarendregt, Henk ; Terwijn, Sebastiaan A.Annals of pure and applied logic, 2019-10, Vol.170 (10), p.1151-1161 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Higher ramification and the local Langlands correspondenceBushnell, Colin J. ; Henniart, GuyAnnals of mathematics, 2017-05, Vol.185 (3), p.919-955Department of Mathematics at Princeton UniversityTexto completo disponível |