default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 159
Volume 159, Numbers 1-2, May 2009
- Emil Jerábek
:
Substitution Frege and extended Frege proof systems in non-classical logics. 1-48 - Gennadi Puninski, Carlo Toffalori:
Towards the decidability of the theory of modules over finite commutative rings. 49-70 - Andrew D. Brooke-Taylor, Sy-David Friedman:
Large cardinals and gap-1 morasses. 71-99 - Cédric Rivière:
Further notes on cell decomposition in closed ordered differential fields. 100-110 - Thomas Brihaye, Christian Michaux, Cédric Rivière:
Cell decomposition and dimension function in the theory of closed ordered differential fields. 111-128 - Stefan Hetzl:
Describing proofs by short tautologies. 129-145 - Balder ten Cate, David Gabelaia, Dmitry Sustretov:
Modal languages for topology: Expressivity and definability. 146-170 - Rosalie Iemhoff, George Metcalfe:
Proof theory for admissible rules. 171-186 - Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov:
Effective categoricity of Abelian p-groups. 187-197 - Daniel Busche, Ralf Schindler:
The strength of choiceless patterns of singular and weakly compact cardinals. 198-248
Volume 159, Number 3, June 2009
- Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov:
Preface. 249-250 - Andrej Bauer, Iztok Kavkler:
A constructive theory of continuous domains suitable for implementation. 251-267 - Ernst-Erich Doberkat, Christoph Schubert:
Coalgebraic logic for stochastic right coalgebras. 268-284 - Yuri Leonidovich Ershov:
On the classification of (effective) φ-spaces. 285-291 - Klaus Keimel, Jimmie D. Lawson:
D-completions and the d-topology. 292-306 - Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher:
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. 307-317 - Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov:
Definability in the h-quasiorder of labeled forests. 318-332 - Yinbin Lei, Maokang Luo:
Rough concept lattices and domains. 333-340 - Vladimir Sazonov:
Natural non-dcpo domains and f-spaces. 341-355
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-11-08 20:19 CET 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:
