default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 124
Volume 124, Numbers 1-3, December 2003
- Peter Dybjer, Anton Setzer:
Induction-recursion and initial algebras. 1-47 - Dafa Li:
Using the prover ANDP to simplify orthogonality. 49-70 - Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini:
Inductively generated formal topologies. 71-106 - Bernhard König:
Local coherence. 107-139 - Iraj Kalantari, Larry Welch:
A blend of methods of recursion theory and topology. 141-178 - Milos S. Kurilic:
Independence of Boolean algebras and forcing. 179-191 - Stephen A. Cook, Antonina Kolokolova:
A second-order system for polytime reasoning based on Grädel's theorem. 193-231 - Chaz Schlindwein:
SH plus CH does not imply stationary antichains. 233-265 - Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
:
Intuitionistic axiomatizations for bounded extension Kripke models. 267-285 - Carlos Areces, Patrick Blackburn, Maarten Marx:
Repairing the interpolation theorem in quantified modal logic. 287-299
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 2026-08-24 23:29 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
