A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Author index volume 82 (1996)
1996
Annals of Pure and Applied Logic
Preserved Fulltext
(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
Preface
1997
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, 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
Abstracts
1978
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Abstracts
2005
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Henry Lewis Rietz--In Memoriam
1944
The Annals of Mathematical Statistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
SOME PHYSIOLOGIC PRINCIPLES INVOLVED IN THE SURGICAL TREATMENT OF GASTRIC AND DUODENAL ULCER
1935
Annals of Surgery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2016
Notices of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
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
1975
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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