Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 92
Volume 92, Number 1, 11 March 1998
- Jeremy Avigad
:
Predicative Functionals and an Interpretation of ID<omega. 1-34 - Bruno Courcelle, Igor Walukiewicz:
Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. 35-62 - Greg Hjorth, Alexander S. Kechris, Alain Louveau:
Borel Equivalence Relations Induced by Actions of the Symmetric Group. 63-112
Volume 92, Number 2, 14 May 1998
- Anton Setzer:
Well-Ordering, Proofs for Martin-Löf Type Theory. 113-159 - Daniel W. Cunningham:
Is There a Set of Reals Not in K(R)? 161-210 - Marco Forti, Furio Honsell:
Addendum and Corrigendum: Choice Principles in Hyperuniverses. 211-214 - Johann A. Makowsky, Y. B. Pnueli:
Erratum to "Arity and Alternation in Second-Order Logic". Ann. Pure Appl. Log. 92(2): 215 (1998)
Volume 92, Number 3, 21 August 1998
- Tim Fernando:
In Conjunction with Qualitative Probability. 217-234 - Imme Pieter van den Berg:
On the Relation between Elementary Partial Difference Equations and Partial Differential Equations. 235-265 - Menachem Kojman:
Exact Upper Bounds and Their Uses in Set Theory. 267-282 - Boban Velickovic, W. Hugh Woodin:
Complexity of Reals in Inner Models of Set Theory. 283-295
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
