Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 69
Volume 69, Number 1, 6 September 1994
- Joan Bagaria
:
Fragments of Martin's axiom and Delta13 Sets of Reals. 1-25 - Steven Givant, Saharon Shelah:
Universal Theories Categorical in Power and kappa-Generated Models. 27-51 - Bradd Hart, Sergei Starchenko:
Superstable Quasi-Varieties. 53-71 - Bart Jacobs:
Semantics of Weakening and Contraction. 73-106 - Renling Jin, Saharon Shelah:
Essential Kurepa Trees versus Essential Jech-Kunen Trees. 107-131
Volume 69, Numbers 2-3, 14 October 1994
- Andre Scedrov:
Preface - Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science. Ann. Pure Appl. Log. 69(2-3): 133 (1994) - Gilles Dowek:
Third Order Matching is Decidable. 135-155 - Joseph Y. Halpern, Bruce M. Kapron:
Zero-One Laws for Modal Logic. 157-193 - Max I. Kanovich:
The Complexity of Horn Fragments of Linear Logic. 195-241 - Nils Klarlund:
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata. 243-268 - Hiroshi Nakano:
A Constructive Logic Behind the Catch and Throw Mechanism. 269-301
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-06-10 21:30 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:
