5,422 Hits in 5.8 sec

Author index volume 82 (1996)

1996 Annals of Pure and Applied Logic  
(2) (1) (3) (1) (3) (2) (2) (3) (3) (3) (1) (3) (2) (1) (3 Elsevier Science B.V. ) 165-191 l-15 317-342 l-15 273-316 193-219 103-163 221-272 22 l-272 273-3 16 97-102 3 17-342 193-219  ... 
doi:10.1016/s0168-0072(97)87041-8 fatcat:p3xcjtnxvjhxzgmd5dgcawj46i


Richard A. Shore
1997 Annals of Pure and Applied Logic  
Symbolic Logic, "C, induction and infinite injury priority arguments, Part I: maximal sets and the jump operator", C.T. Chong and Y. Yang.  ...  Lempp and M. Lerman. S. Goncharov, on Morely's problem for decidable models is expected to appear in Algebra and Logic. M.  ...  Preface/Annals of Pure and Applied Logic 87 (1997) [101] [102] M. Kummer, on Kolmogorov and instance complexity of r.e. sets will appear in the SIAM J.  ... 
doi:10.1016/s0168-0072(96)00025-5 fatcat:lsa3nc2ay5dxnekue2zf6bf3na

Master index to volumes 41-50

1990 Annals of Pure and Applied Logic  
Courcelle, B., The monadic second-order logic of graphs IV: definability properties of equational graphs Crossley, J.N. and Scott, P.J., Completeness proofs for propositional logic with polynomial-time  ...  Hodes, H., Three-valued logics: an introduction, a comparison of various logical lexica, and some philosophical remarks Hodges, W., Hodkinson, I.M. and Macpherson, D., Omega-categoricity, relative  ... 
doi:10.1016/0168-0072(90)90061-6 fatcat:inapyhmvyffpzkhhdq4qje4ahi

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

1986 Annals of Pure and Applied Logic  
., 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.  ... 
doi:10.1016/0168-0072(86)90026-6 fatcat:lvxcgirz7zcp7if573hj6t7poi

Master Index to Volumes 51–60

1993 Annals of Pure and Applied Logic  
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?  ... 
doi:10.1016/0168-0072(93)90081-n fatcat:izewemprtbcm3gozu2y4c4roia

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

Rajesh K. Bawa, S. Natesan
2005 Lecture Notes in Computer Science  
Gupta, Shesadev Pradhan, On Orlicz Spaces of Entire Functions, Indian Journal of Pure and Applied Math., 39 (2) (2008), 123 -135. 28) M.  ...  Models 24 (2008), no. 1, 89-102. 60) S.  ... 
doi:10.1007/11428862_183 fatcat:rx4tbdptozbkxjf2du4b7lge4q

Unifying Functional Interpretations: Past and Future [article]

Paulo Oliva
2014 arXiv   pre-print
, Stein's family of functional interpretations, functional interpretations "with truth", and bounded functional interpretations.  ...  Our goal in the present paper is twofold: (1) to look back and single out the main lessons learnt so far, and (2) to look forward and list several open questions and possible directions for further research  ...  Annals of Pure and Applied Logic, 145:115–129, 2007. [17] G. Ferreira and P. Oliva. Functional interpretations of intuitionistic linear logic. In E. Grädel and R.  ... 
arXiv:1410.4364v1 fatcat:p2q5nxafnnarxptyj3wqlfxxh4


Albert C. Lewis
1978 Historia Mathematica  
Nordisk Matematisk Tidskrift 22, 85-102. A clearly written introductory article on the history and development of the  ...  RZ 1973 #3Al4 means that the item is numbered 3A14 in the third number of the 1973 volume of the Referativny Zhurnal. Z 50 4 means volume 50, page 4 of the Zentralblatt.  ... 
doi:10.1016/0315-0860(78)90231-8 fatcat:hrwinllotrcxzk7plpj7hqdslm


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/ fatcat:jpycq5xl2zexnby2h453ddkpp4

Henry Lewis Rietz--In Memoriam

A. R. Crathorne
1944 The Annals of Mathematical Statistics  
In appreciation of this and in recognition of his contributions to the initiation and development of mathematical statistics in America, the 1943 volume of the Annals of Mathematical Statistics was dedicated  ...  He thus became the logical first president. He has taken a more than active interest in the Institute,—as a contributor to the Annals, as one of its editors, as general counselor, as a good friend.  ... 
doi:10.1214/aoms/1177731321 fatcat:i6ffgegtzbdehajgbu7pye3h2a


1935 Annals of Surgery  
During the course of these experiments we came to the realization that if this pure gastric juice was 570 Volume 102 GASTRIC AND DUODENAL ULCER Number 4 permitted to accumulate in the isolated stomach  ...  of water, without a great deal of discomfort and inability for 578 Volume 102 GASTRIC AND DUODENAL ULCER Number 4 rapid emptying of the stomach afterward.  ... 
doi:10.1097/00000658-193510000-00008 pmid:17856651 fatcat:m5do5uezzzfkphcgv6i4jbzoby

2016 Leroy P. Steele Prizes

Elaine Kehoe
2016 Notices of the American Mathematical Society  
He has served on the editorial boards of the Pure and Applied Mathematics series published by Wiley and the Graduate Studies in Mathematics series of the AMS, and he is currently on the board of the Undergraduate  ...  At Google Scholar his citation number is about 60,000, and his h-index is 102 (i.e., 102 publications with at least 102 citations).  ... 
doi:10.1090/noti1357 fatcat:5sc6ceoqmjer3aror2bztrodq4

The Encyclopedia of Neutrosophic Researchers

Florentin Smarandache
2018 Figshare  
The introduction contains a short history of neutrosophics, together with links to the main papers and books.  ...  This is the first volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor's invitation. The authors are listed alphabetically.  ...  of magnetorheological dissipaters systems, complex industrial automations with programmable logical controllers in distributed and decentralized structure.  ... 
doi:10.6084/m9.figshare.6198878.v1 fatcat:yhqqpzxzgfbhjhhqpdynaav3cu

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


1975 Historia Mathematica  
John of Gergonne's 1815 article "Application de la methode des moindre quarrQs B l'interpolation des suites," Annales des Math6matiques Pures et Appliqu&s 6, 242-252.  ...  INTENSIONAL LOGICS. J LUKASIEWICZ. MODAL LOGICS. PHILOSOPHY OF LOGIC. SEMANTICS.  ... 
doi:10.1016/0315-0860(75)90062-2 fatcat:wkfxjegzfrgkjmcbmfodnclfzu
« Previous Showing results 1 — 15 out of 5,422 results