Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 139
Volume 139, Numbers 1-3, May 2006
- Antonio Montalbán:
Equivalence between Fraïssé's conjecture and Jullien's theorem. 1-42 - Danièle Beauquier, Anatol Slissenko:
Periodicity based decidable classes in a first order timed logic. 43-73 - Oleg Pikhurko, Joel Spencer, Oleg Verbitsky
:
Succinct definitions in the first order theory of graphs. 74-109 - Tapani Hyttinen, Olivier Lessmann:
Simplicity and uncountable categoricity in excellent classes. 110-137 - Jeremy Avigad, Ksenija Simic:
Fundamental notions of analysis in subsystems of second-order arithmetic. 138-184 - Stefano Berardi:
Some intuitionistic equivalents of classical principles for degree 2 formulas. 185-200 - Marko Djordjevic:
The finite submodel property and omega-categorical expansions of pregeometries. 201-229 - T. Mellor:
Imaginaries in real closed valued fields. 230-279 - Mirna Dzamonja, Saharon Shelah:
On properties of theories which preclude the existence of universal models. 280-302 - John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer:
Generality's price: Inescapable deficiencies in machine-learned programs. 303-326 - Paul Corazza:
The spectrum of elementary embeddings j: V->V. 327-399
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-05-06 20:15 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:
