Filters








5,001 Hits in 4.3 sec

Author index volume 81 (1996)am

<span title="">1996</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
The extensional approach, with an application to streams Lipton, J. and O'Donnell, M.J., Some intuitions behind realizability semantics for constructive logic: Tableaux and Lauchli countermodels  ...  ., A classical view of the intuitionistic continuum Nerode, A. and Remmel, J.B., On the lattices of NPtime vector space over a finite field 125-170 O'Donnell, M.J., see Lipton, J. 187-239 Remmel, J.B.,  ...  see Nerode, A. 125-170 Sacks, G.E., Effective forcing versus proper forcing 171-185 Shoenfield, J.R., Priority constructions 115-123 Vesley, R.E., Realizing Brouwer's sequences 25-74 Elsevier Science  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(96)90033-0">doi:10.1016/s0168-0072(96)90033-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bbqhyl2gbzeehf7wbzjyljtwbq">fatcat:bbqhyl2gbzeehf7wbzjyljtwbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190416055658/https://core.ac.uk/download/pdf/82133705.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/53/cc53420366eecfae9562ac465b28114bf1cfef1d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(96)90033-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Announcement

D. van Dalen
<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
MASTER INDEX TO VOLUMES 11-30" Abraham, U., Aronszajn trees on K, and X, Abraham, U., M. Rubin and S.  ...  Kaufmann and M. Makkai, Stationary logic 13 (1978) 171-224 Barwise, J., M. Kaufmann and M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90027-8">doi:10.1016/0168-0072(86)90027-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r7qblmmvnzdvjfg534p2d7jfqi">fatcat:r7qblmmvnzdvjfg534p2d7jfqi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190324234033/https://core.ac.uk/download/pdf/82744134.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/ce/78cea37afc711ef0cc4bd77ff4ca0f3356a24612.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90027-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Bibliography on Realizability

Lars Birkedal
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00103-3">doi:10.1016/s1571-0661(04)00103-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpr3su4qxfgwremm5yjfgwbgai">fatcat:jpr3su4qxfgwremm5yjfgwbgai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190325015906/https://core.ac.uk/download/pdf/82743786.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/ab/75abd33e828133e09ae67e679c5aaef2fb17458d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00103-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Master Index To Volumes 11-3011Volumes 11-23 were published under the former name of "Annals of Mathematical Logic"

<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
., Stationary logic of ordinals Mekler, A.H., see Eklof, P.C. Metakides, G. and A. Nerode, Recursively enumerable vector spaces Metakides, G. and A.  ...  unique Craig interpolant, uniform vs. nonuni- form complexity Nadel, M.E., Infinitary intuitionistic logic from a classical point of view Nerode, A. and R.A.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90026-6">doi:10.1016/0168-0072(86)90026-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lvxcgirz7zcp7if573hj6t7poi">fatcat:lvxcgirz7zcp7if573hj6t7poi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171003225446/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/d44/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMTY4MDA3Mjg2OTAwMjY2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/d9/30d9bd07adf4f2f441b1483028ea1ba8fceb72e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90026-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Traumatic Osteomyelitis: The Use of Skin Grafts-Part II : Subsequent Treatment

R P Kelly, L M Rosati, R A Murray
<span title="">1946</span> <i title="Ovid Technologies (Wolters Kluwer) - Lippincott Williams &amp; Wilkins"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsoyeay74rhndjmwo43c6vfdwy" style="color: black;">Annals of Surgery</a> </i> &nbsp;
To the extent of 690 Volume 123 SKIN GRAFTS IN OSTEOMYELITIS Number 4 Fic. 2-A Fic. 2-B Fic. 2—(A and B) Skin graft for replacement and open pedicle in place.  ...  (B) Resulting donor site and replacement shown. 692 1946 TO ex sit re of as Volume 123 SKIN GRAFTS IN OSTEOMYELITIS Number 4 success in solving the problem of dead . nace, results are good.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/17858768">pmid:17858768</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC1803565/">pmcid:PMC1803565</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3irlwijqabbnpksyayakgczgve">fatcat:3irlwijqabbnpksyayakgczgve</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_annals-of-surgery_1946-04_123_4/page/688" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_annals-of-surgery_1946-04_123_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1803565" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

TRAUMATIC OSTEOMYELITIS: THE USE OF SKIN GRAFTS—PART II

Robert P. Kelly, Louis M. Rosati, Robert A. Murray
<span title="">1946</span> <i title="Ovid Technologies (Wolters Kluwer Health)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsoyeay74rhndjmwo43c6vfdwy" style="color: black;">Annals of Surgery</a> </i> &nbsp;
To the extent of 690 Volume 123 SKIN GRAFTS IN OSTEOMYELITIS Number 4 Fic. 2-A Fic. 2-B Fic. 2—(A and B) Skin graft for replacement and open pedicle in place.  ...  (B) Resulting donor site and replacement shown. 692 1946 TO ex sit re of as Volume 123 SKIN GRAFTS IN OSTEOMYELITIS Number 4 success in solving the problem of dead . nace, results are good.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194604000-00015">doi:10.1097/00000658-194604000-00015</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21024596">pmid:21024596</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qqjxnnrsnf6bgmofboxfxcrnq">fatcat:6qqjxnnrsnf6bgmofboxfxcrnq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_annals-of-surgery_1946-04_123_4/page/688" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_annals-of-surgery_1946-04_123_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194604000-00015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Master Index to Volumes 51–60

<span title="">1993</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
Master Index to Volumes 51-60 ABRAHAM, U. and SHELAH, S., A A: well-order of the reals and incompactness of L(Q"") 59 ( GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis 51  ...  subsystems of second-order arithmetic MAREK, W., NERODE, A. and REMMEL, J., How complicated is the set of stable models of a recursive logic program?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(93)90081-n">doi:10.1016/0168-0072(93)90081-n</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/izewemprtbcm3gozu2y4c4roia">fatcat:izewemprtbcm3gozu2y4c4roia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927053953/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/4c9/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMTY4MDA3MjkzOTAwODFu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/18/cc18204e8c4e9434283d27628bc22c1e7ad25266.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(93)90081-n"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems [chapter]

Rajesh K. Bawa, S. Natesan
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Gupta, Shesadev Pradhan, On Orlicz Spaces of Entire Functions, Indian Journal of Pure and Applied Math., 39 (2) (2008), 123 -135. 28) M.  ...  Kadalbajoo, Arjun Singh Yadaw, B-Spline collocation method for a two-parameter singularly perturbed convection-diffusion boundary value problems, Applied Mathematics and Computation, Volume 201, Issues  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11428862_183">doi:10.1007/11428862_183</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rx4tbdptozbkxjf2du4b7lge4q">fatcat:rx4tbdptozbkxjf2du4b7lge4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190306212032/http://pdfs.semanticscholar.org/d54e/fb45227be5f1d6c45d6f6722b84f8ca15f13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/4e/d54efb45227be5f1d6c45d6f6722b84f8ca15f13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11428862_183"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Textbook of Obstetrics

Harvey B. Matthews
<span title="">1946</span> <i title="Ovid Technologies (Wolters Kluwer Health)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsoyeay74rhndjmwo43c6vfdwy" style="color: black;">Annals of Surgery</a> </i> &nbsp;
The same comment could be applied to other sections of the book.  ...  Subscriptions, advertising and all business communications should be addressed ANNALS OF SURGERY East Washington Square, Philadelphia, Pa. 1124  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194606000-00019">doi:10.1097/00000658-194606000-00019</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mnsxfk7n6vg6xle45klhvnnuji">fatcat:mnsxfk7n6vg6xle45klhvnnuji</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_annals-of-surgery_1946-06_123_6/page/1122" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_annals-of-surgery_1946-06_123_6/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194606000-00019"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

NEWER CONCEPTS IN THE TREATMENT OF THE PARALYZED PATIENT DUE TO WAR-TIME INJURIES OF THE SPINE

Charles W. Elkins, Walter R. Wegner
<span title="">1946</span> <i title="Ovid Technologies (Wolters Kluwer Health)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsoyeay74rhndjmwo43c6vfdwy" style="color: black;">Annals of Surgery</a> </i> &nbsp;
As this remark indicates, our interest in the reflex activity of the trauma- tized spinal cord is not purely academic—these reflexes may present thera- 519 ELKINS AND WEGNER Annals of Survery peutic problems  ...  Surgical Asso- ciation, December 4-6, 1045, Hot Springs, Virginia. 516 ED of ing ing the nal eS. ob- ind ant ent SO- Volume 123 NEUROSURGICAL COMPLICATIONS Numver 4 further procedure for relief of pain  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194604000-00003">doi:10.1097/00000658-194604000-00003</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21024584">pmid:21024584</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f2lcip535vdbzcifhifkamvvba">fatcat:f2lcip535vdbzcifhifkamvvba</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_annals-of-surgery_1946-04_123_4/page/516" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_annals-of-surgery_1946-04_123_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/00000658-194604000-00003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Newer Concepts in the Treatment of the Paralyzed Patient Due to War-Time Injuries of the Spine: Neurosurgical Complications

C W Elkins, W R Wegner
<span title="">1946</span> <i title="Ovid Technologies (Wolters Kluwer) - Lippincott Williams &amp; Wilkins"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsoyeay74rhndjmwo43c6vfdwy" style="color: black;">Annals of Surgery</a> </i> &nbsp;
As this remark indicates, our interest in the reflex activity of the trauma- tized spinal cord is not purely academic—these reflexes may present thera- 519 ELKINS AND WEGNER Annals of Survery peutic problems  ...  Surgical Asso- ciation, December 4-6, 1045, Hot Springs, Virginia. 516 ED of ing ing the nal eS. ob- ind ant ent SO- Volume 123 NEUROSURGICAL COMPLICATIONS Numver 4 further procedure for relief of pain  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/17858756">pmid:17858756</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC1803585/">pmcid:PMC1803585</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aoqj3hyzlfcuboipkvcdoz5xf4">fatcat:aoqj3hyzlfcuboipkvcdoz5xf4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_annals-of-surgery_1946-04_123_4/page/516" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_annals-of-surgery_1946-04_123_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1803585" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism [chapter]

Markus Werning
<span title="">2003</span> <i title="Springer Netherlands"> Foundations of the Formal Sciences II </i> &nbsp;
It is argued (i) that an algebra of propositions and concepts for objects and properties is isomorphic to an algebra of brain states, neuronal oscillations and sets of oscillations related to clusters  ...  They combine the virtues and avoid the vices of classical and connectionist architectures.  ...  , Annals of Pure and Applied Logic 33 (1987), p. 1-21 [FriSimú 00] Harvey Friedman and Stephen G.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-0395-6_19">doi:10.1007/978-94-017-0395-6_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cq3yvlljbfh4jksf7sd4zm2tf4">fatcat:cq3yvlljbfh4jksf7sd4zm2tf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809053606/http://www.ruhr-uni-bochum.de/mam/phil-lang/content/synco_03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/31/70/317075be98aa6840f0fe1a009946ddc31a51ce82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-0395-6_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Yuri, Logic, and Computer Science [chapter]

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Annals of Pure and Applied Logic 78 (1996), 111-125 Kleine-Büning (ed.)  ...  Annals of Pure and Applied Logic 32 (1986), 265-280 We prove that the three extensions of first-order logic by means of positive, monotone and inflationary inductions have the same expressive power in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15025-8_1">doi:10.1007/978-3-642-15025-8_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ehjpkiqxzbh55k7waxqwzfhw6y">fatcat:ehjpkiqxzbh55k7waxqwzfhw6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401063045/http://www.cs.tau.ac.il/~nachumd/papers/Yuri.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/43/254357b3e5c89f87ad3b365b19a4aef2346ba73c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15025-8_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Recent Publications

G. A. Miller, M. B. Porter, R. D. Carmichael, Edward L. Dodd
<span title="">1923</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6jb2mei4hzg4vdohokley4c5om" style="color: black;">The American mathematical monthly</a> </i> &nbsp;
The first number of The Quarterly Journal of Pure and Applied Mathematics, volume 49, appeared in October, 1920; the fourth number issued in March, 1923, contained a paper “Singly infinite class number  ...  and Applied Science (2 volumes, Ginn, 1907-1909) by the same authors.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/00029890.1923.11986262">doi:10.1080/00029890.1923.11986262</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ymcbq63x4rhtlk77qurlbmlovm">fatcat:ymcbq63x4rhtlk77qurlbmlovm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-mathematical-monthly_september-october-1923_30_6/page/324" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_american-mathematical-monthly_september-october-1923_30_6/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/00029890.1923.11986262"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

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

Alessandro Aldini
<span title="2020-01-17">2020</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.312.1">doi:10.4204/eptcs.312.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4fjvygbppjbq3k5ury2kvue3nq">fatcat:4fjvygbppjbq3k5ury2kvue3nq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321053532/https://arxiv.org/pdf/2001.06942v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.312.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,001 results