Filters








5,154 Hits in 4.9 sec

Bibliography on Realizability

Lars Birkedal
1999 Electronical Notes in Theoretical Computer Science  
Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996. 2] M. Abadi and G.D. Plotkin. A per model of polymorphism and recursive t ypes. In  ...  Cook and A. Urquhart. Functional interpretations of feasibly constructive arithmetic. Annals of Pure and Applied L ogic, 63:103{200, 1993. 49] T. Coquand, C. Gunter, and G. Winskel.  ...  Some free constructions in realizability and proof theory. Journal of Pure and Applied A lgebra, 103:117{148, 1995. 42] A. Carboni, P.J. Freyd, and A. Scedrov.  ... 
doi:10.1016/s1571-0661(04)00103-3 fatcat:jpr3su4qxfgwremm5yjfgwbgai

ONE-STAGE RESECTION AND ANASTOMOSIS OF THE COLON

J. William Hinton, S. Arthur Localio
1948 Annals of Surgery  
.: ANNALS OF SURGERY, 106: 701-714, 1937. Mayo, C. W., and W. C. Simpson: ANNALS OF SURGERY, 109: 430-436, 1939. 3 Meyer, K. A., A. Sheridan and D. D.  ...  DAYS MORTALITY 50 6% 46 17 2% 130 E. 79th St. New York City.  ... 
doi:10.1097/00000658-194801000-00002 pmid:17859052 pmcid:PMC1513760 fatcat:5il23a7m5zdjhn5vs6cqmzu67m

Abstracts

2005 Historia Mathematica  
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  The indefinability of truth in the "Wahrheitsbegriff," Annals of Pure and Applied Logic 126 (1-3) (2004), 27-37.  ... 
doi:10.1016/j.hm.2005.04.001 fatcat:jpycq5xl2zexnby2h453ddkpp4

Measurement of Magnetic Susceptibility on Some Rock Samples in Parts of Kuje Area, Abuja-Nigeria

N N Abdulsalam, O Ologe
2019 NIGERIAN ANNALS OF PURE AND APPLIED SCIENCES  
Variation of susceptibility for the different samples has been analyzed and confirm in the study.  ...  In this study, Magnetic Susceptibility has been measured on rock samples from the sedimentary succession of Kuje Area in FCT.  ...  Maiden Edi on 2018 | 279 | Nigerian Annals of Pure and Applied Sciences  ... 
doi:10.46912/napas.49 fatcat:3qadypybbfcrtisgbc7nbvmuzu

The Quantitative and Qualitative Control of Bile Flow and Its Relation to Biliary Tract Surgery

R R Best
1948 Annals of Surgery  
Likewise it has been of great aid and has lessened our er III Annals of Surgery R. RUSSELL BEST Annals of | Surgery TTYTT J Lortmttmtn ttm brmmin i 3—The arrow points to a FIG 2.  ...  The salts or acids of glycine and taurine are natural constituents of bile and when bile acid exists in conjunction with glycine or taurine, the term conjugated is applied.  ... 
pmid:17859205 pmcid:PMC1514056 fatcat:wnniwjhodrerjiy37axb47mbz4

THE QUANTITATIVE AND QUALITATIVE CONTROL OF BILE FLOW AND ITS RELATION TO BILIARY TRACT SURGERY*

R. RUSSELL BEST
1948 Annals of Surgery  
Likewise it has been of great aid and has lessened our er III Annals of Surgery R. RUSSELL BEST Annals of | Surgery TTYTT J Lortmttmtn ttm brmmin i 3—The arrow points to a FIG 2.  ...  The salts or acids of glycine and taurine are natural constituents of bile and when bile acid exists in conjunction with glycine or taurine, the term conjugated is applied.  ... 
doi:10.1097/00000658-194809000-00003 pmid:18889536 fatcat:mhenizqgwnbc7gcwihtdjle22a

Page 324 of None Vol. 34, Issue 880 [page]

1872 None  
In the application of the former principle, the purely figurative method has been the starting point and the symbolic method the goal.  ...  Lenormant’s object is to show that logically, and in accordance with the very organization of the human mind, all systems of writing have begun by ideographism and gradually arrived at phonetism.  ... 

New Books

1956 Science  
A revised and greatly expanded edition of the author’s well-known contribution of 1944 to the Annals of Mathematics Studies, the work is addressed to beginners in logic who possess a respectable mathematical  ...  The first volume of Alonzo Church’s projected two-volume textbook on math- ematical logic is now available as No. 17 in the Princeton Mathematical Series,’ Its excellence in every respect requires no comment  ... 
doi:10.1126/science.124.3233.1215.c fatcat:cyona2w7y5esdn6mvinz3ul754

New Books

1956 Science  
A revised and greatly expanded edition of the author’s well-known contribution of 1944 to the Annals of Mathematics Studies, the work is addressed to beginners in logic who possess a respectable mathematical  ...  The first volume of Alonzo Church’s projected two-volume textbook on math- ematical logic is now available as No. 17 in the Princeton Mathematical Series,’ Its excellence in every respect requires no comment  ... 
doi:10.1126/science.124.3233.1215-c fatcat:qs6brro4gvcmpesc54xyeyexla

Gödel on Deduction [article]

Kosta Dosen, Milos Adzic
2016 arXiv   pre-print
This is an examination, a commentary, of links between some philosophical views ascribed to G\"odel and general proof theory.  ...  It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building G\"odel seems to have taken as the main task of logic for the future.  ...  Church, A set of postulates for the foundation of logic, Annals of Mathematics, vol. 33 (1932), pp. 346-366 [Church 1933] ——–, A set of postulates for the foundation of logic, Annals of Mathematics  ... 
arXiv:1604.02757v4 fatcat:d2czdsij7fb3fbctr4uvrdtw3i

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
The aim of this survey is to revisit such achievements and results from the standpoint of QAPL and its community.  ...  In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001.  ...  applied.  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Abstracts

1981 Historia Mathematica  
@CL) #1555 CAMPBELL-KELLY MARTIN 1980 Progreamming the Mancherster Mark I Annals of the His- tory of Computing 2 (21, 130-168.  ...  A theorem of Lambert is applied to the calculation of the circumference of a circle and shown to conform to a method of Huyyens.  ... 
doi:10.1016/0315-0860(81)90020-3 fatcat:zm3b34bz3bbrzbkhsz3hl4edtu

Assessment of the assortment potential of the growing stock – a photogrammetry based approach for an automatized grading of sample trees

Christine Fürst, Gérard Nepveu
2006 Annals of Forest Science  
ECognition is an image analysis system using a polygon-oriented segmentation and a fuzzy logic based classification.  ...  A total of eight Norway spruces (Picea abies, Karst.) and eight Scots pines (Pinus sylvestris L.) was selected as sample material for the development of the classification process in eCognition.  ...  of conversion effects in pure coniferous stands in the test regions "Middle and Eastern Ore Mountains" and "Lowlands" [8] .  ... 
doi:10.1051/forest:2006078 fatcat:chz76py2djf3zc75furmbnza2q

Fagacées: a tree-centered growth and yield model for sessile oak (Quercus petraea L.) and common beech (Fagus sylvatica L.)

Gilles Le Moguédec, Jean-François Dhôte
2011 Annals of Forest Science  
Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided  ...  the original author(s) and source are credited.  ...  They provide detailed results on the geometry of each stem: volume of sapwood and heartwood, ring width.  ... 
doi:10.1007/s13595-011-0157-0 fatcat:2f5dmsvlxfgjzhydlzkpmwan3q

Effect of Autonomic Blocking Agents on Surgical Antidiuresis in Dogs

Gábor S. Kovács, Bertalan M. Kovács, Tibor Kováts, Kálmán Kovács, Gábor Petri
1958 Annals of Surgery  
As_ described phentholamine, which has a purely peripheral sympatho- above, KOVACS, KOVACS, KOVATS, KOVACS AND PETRI Annals of Surger, March 195 adrenolytic action, is also able to inhibit jp creased postoperative  ...  Szutrély, J. and P. V. Annals of Sur Surgery March i Fukud; Kawai, H. Yamada and K.  ... 
doi:10.1097/00000658-195803000-00013 pmid:13509585 pmcid:PMC1450602 fatcat:ortecf4yu5falb4gwsnxmaqcrm
« Previous Showing results 1 — 15 out of 5,154 results