default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal69.bht:"
@article{DBLP:journals/apal/Bagaria94, author = {Joan Bagaria}, title = {Fragments of Martin's axiom and Delta\({}^{\mbox{1}}\)\({}_{\mbox{3}}\) Sets of Reals}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {1}, pages = {1--25}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90017-5}, doi = {10.1016/0168-0072(94)90017-5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Bagaria94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Dowek94, author = {Gilles Dowek}, title = {Third Order Matching is Decidable}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {135--155}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90083-3}, doi = {10.1016/0168-0072(94)90083-3}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Dowek94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/GivantS94, author = {Steven Givant and Saharon Shelah}, title = {Universal Theories Categorical in Power and kappa-Generated Models}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {1}, pages = {27--51}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90018-3}, doi = {10.1016/0168-0072(94)90018-3}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/GivantS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HalpernK94, author = {Joseph Y. Halpern and Bruce M. Kapron}, title = {Zero-One Laws for Modal Logic}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {157--193}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90084-1}, doi = {10.1016/0168-0072(94)90084-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/HalpernK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HartS94, author = {Bradd Hart and Sergei Starchenko}, title = {Superstable Quasi-Varieties}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {1}, pages = {53--71}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90019-1}, doi = {10.1016/0168-0072(94)90019-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/HartS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Jacobs94, author = {Bart Jacobs}, title = {Semantics of Weakening and Contraction}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {1}, pages = {73--106}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90020-5}, doi = {10.1016/0168-0072(94)90020-5}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Jacobs94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/JinS94, author = {Renling Jin and Saharon Shelah}, title = {Essential Kurepa Trees versus Essential Jech-Kunen Trees}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {1}, pages = {107--131}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90021-3}, doi = {10.1016/0168-0072(94)90021-3}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/JinS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Kanovich94, author = {Max I. Kanovich}, title = {The Complexity of Horn Fragments of Linear Logic}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {195--241}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90085-X}, doi = {10.1016/0168-0072(94)90085-X}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Kanovich94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Klarlund94, author = {Nils Klarlund}, title = {Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {243--268}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90086-8}, doi = {10.1016/0168-0072(94)90086-8}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Klarlund94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Nakano94, author = {Hiroshi Nakano}, title = {A Constructive Logic Behind the Catch and Throw Mechanism}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {269--301}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90087-6}, doi = {10.1016/0168-0072(94)90087-6}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Nakano94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Scedrov94, author = {Andre Scedrov}, title = {Preface - Invited papers presented at the 1992 {IEEE} Symposium on Logic in Computer Science}, journal = {Ann. Pure Appl. Log.}, volume = {69}, number = {2-3}, pages = {133}, year = {1994}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Scedrov94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.