default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal146.bht:"
@article{DBLP:journals/apal/AsensioH07, author = {Pedro A. Guil Asensio and Ivo Herzog}, title = {Model-theoretic aspects of Sigma-cotorsion modules}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {1--12}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.11.001}, doi = {10.1016/J.APAL.2006.11.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/AsensioH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Aspero07, author = {David Asper{\'{o}}}, title = {Guessing and non-guessing of canonical functions}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {150--179}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.02.002}, doi = {10.1016/J.APAL.2007.02.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Aspero07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/BergM07, author = {Benno van den Berg and Federico De Marchi}, title = {Non-well-founded trees in categories}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {40--59}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.12.001}, doi = {10.1016/J.APAL.2006.12.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/BergM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Curi07, author = {Giovanni Curi}, title = {Exact approximations to Stone-Cech compactification}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {103--123}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.12.004}, doi = {10.1016/J.APAL.2006.12.004}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Curi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/DosenP07, author = {Kosta Dosen and Zoran Petric}, title = {Medial commutativity}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {237--255}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.03.002}, doi = {10.1016/J.APAL.2007.03.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/DosenP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Hrubes07, author = {Pavel Hrubes}, title = {A lower bound for intuitionistic logic}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {72--90}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.01.001}, doi = {10.1016/J.APAL.2007.01.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Hrubes07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KamareddineN07, author = {Fairouz Kamareddine and Karim Nour}, title = {A completeness result for a realisability semantics for an intersection type system}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {180--198}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.02.001}, doi = {10.1016/J.APAL.2007.02.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KamareddineN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Pillay07, author = {Anand Pillay}, title = {Imaginaries in pairs of algebraically closed fields}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {13--20}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.11.002}, doi = {10.1016/J.APAL.2006.11.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Pillay07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Sato07, author = {Kentaro Sato}, title = {Double helix in large large cardinals and iteration of elementary embeddings}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {199--236}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.02.003}, doi = {10.1016/J.APAL.2007.02.003}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Sato07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Warren07, author = {Michael A. Warren}, title = {Coalgebras in a category of classes}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {60--71}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.12.003}, doi = {10.1016/J.APAL.2006.12.003}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Warren07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Willard07, author = {Dan E. Willard}, title = {Passive induction and a solution to a Paris-Wilkie open question}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {2-3}, pages = {124--149}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.01.003}, doi = {10.1016/J.APAL.2007.01.003}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Willard07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Wu07, author = {Guohua Wu}, title = {Intervals containing exactly one c.e. degree}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {91--102}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2007.01.002}, doi = {10.1016/J.APAL.2007.01.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Wu07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Wynne07, author = {Brian Wynne}, title = {Decidable theories of non-projectable l-groups of continuous functions}, journal = {Ann. Pure Appl. Log.}, volume = {146}, number = {1}, pages = {21--39}, year = {2007}, url = {https://doi.org/10.1016/j.apal.2006.12.002}, doi = {10.1016/J.APAL.2006.12.002}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Wynne07.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.