| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samuel R. Buss |
Towards NP-P via proof complexity and search.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Moczydlowski |
Unifying sets and programs via dependent types. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi, Alberto Marcone |
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Yu |
Characterizing strong randomness via Martin-Löf randomness. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
A relational semantics for parallelism and non-determinism in a functional setting. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Bauer, Davorin Lesnik |
Metric spaces in synthetic topology. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias |
Tracing and domination in the Turing degrees. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger |
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidenori Kurokawa |
Tableaux and hypersequents for justification logics. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Reus, Thomas Streicher |
A synthetic theory of sequential domains. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Cosheaves and connectedness in formal topology. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hendtlass |
The intermediate value theorem in constructive mathematics without choice. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Carlson, Gunnar Wilken |
Tracking chains of Σ2-elementarity. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Dybjer, Denis Kuperberg |
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Valentini |
Independence results in formal topology. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe |
Computability in Europe 2009. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo |
Computability in Europe 2010. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Shafer |
Coding true arithmetic in the Medvedev degrees of Π10 classes. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yury Savateev |
Product-free Lambek calculus is NP-complete. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara |
Two subcategories of apartness spaces. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ciraulo |
A constructive investigation of satisfiability. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Diamondstone |
Low upper bounds in the LR degrees. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Ziegler |
Generalizing realizability and Heyting models for constructive set theory. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Reflections on function spaces. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ziegler |
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Souldatos |
Linear orderings and powers of characterizable cardinals. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
Algebraic proof theory for substructural logics: Cut-elimination and completions. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Zamansky, Arnon Avron |
Canonical signed calculi with multi-ary quantifiers. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiang Liu 0002, Guohua Wu |
Almost universal cupping and diamond embeddings. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bienvenu, Joseph S. Miller |
Randomness and lowness notions via open covers. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Matthew de Brecht, Arno Pauly |
Closed choice and a Uniform Low Basis Theorem. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worthington |
A bialgebraic approach to automata and formal language theory. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Koponen |
Asymptotic probabilities of extension properties and random l-colourable structures. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Tadaki |
Fixed point theorems on partial randomness. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Lubarsky |
Topological forcing semantics with settling. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Anil Nerode |
Preface. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Diamondstone, Bjørn Kjos-Hanssen |
Martin-Löf randomness and Galton-Watson processes. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Enrico Zoli |
Lebesgue's dominated convergence theorem in Bishop's style. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Hötzel Escardó, Paulo Oliva |
The Peirce translation. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov |
Fine hierarchies via Priestley duality. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Almost new pre-apartness from old. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen |
Foreword. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hristo Ganchev, Mariya Ivanova Soskova |
The high/low hierarchy in the local structure of the omega-enumeration degrees. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | P. E. Alaev |
Computably categorical Boolean algebras enriched by ideals and atoms. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Alessandra Palmigiano |
Algorithmic correspondence and canonicity for distributive modal logic. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron E. Freer, Daniel M. Roy |
Computable de Finetti measures. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan S. Dantchev, Barnaby Martin |
The limits of tractability in Resolution-based propositional proof systems. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel R. Buss, Roman Kuznets |
Lower complexity bounds in justification logic. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca M. Steiner |
Computable fields and the bounded Turing reduction. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Prefixed tableaus and nested sequents. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kojiro Higuchi |
Effectively closed mass problems and intuitionism. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pagani |
Visible acyclic differential nets, Part I: Semantics. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas F. Kent, Andrew E. M. Lewis, Andrea Sorbi |
Empty intervals in the enumeration degrees. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilda Ferreira, Paulo Oliva |
On bounded functional interpretations. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Matet, Toshimichi Usuba |
Two-cardinal versions of weak compactness: Partitions of pairs. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster |
Preface. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Pudlák, Neil Thapen |
Alternating minima and maxima, Nash equilibria and Bounded Arithmetic. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster |
A predicative completion of a uniform space. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández Duque |
Tangled modal logic for topological dynamics. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Santiago Figueira, Sergio Mera |
Completeness results for memory logics. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani |
Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Normann, Vladimir Yu. Sazonov |
The extensional ordering of the sequential functionals. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Clemens Grabmayer, Michal Walicki |
Expressive power of digraph solvability. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Erich Doberkat |
Lattice properties of congruences for stochastic relations. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alla Sirokofskich |
Decidability questions for a ring of Laurent polynomials. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Genitrini, Jakub Kozik |
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara |
The uniform boundedness theorem and a boundedness principle. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgi Japaridze |
Separating the basic logics of the basic recurrences. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Bounded linear-time temporal logic: A proof-theoretic investigation. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen, Jan-Christoph Schlage-Puchta, Andreas Weiermann |
Streamlined subrecursive degree theory. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michiel De Smet, Andreas Weiermann |
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilip Raghavan, Stevo Todorcevic |
Cofinal types of ultrafilters. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Max I. Kanovich |
Light linear logics with controlled weakening: Expressibility, confluent strong normalization. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Bonelli, Federico Feller |
Justification Logic as a foundation for certifying mobile computation. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Saxon Milnikel |
Conservativity for logics of justified belief: Two approaches. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin D. Miller |
Dichotomy theorems for countably infinite dimensional analytic hypergraphs. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Maríková |
O-minimal residue fields of o-minimal fields. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Mundici |
Finite axiomatizability in Łukasiewicz logic. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Fuchs |
lambda-structures and s-structures: Translating the models. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Schoutens |
Classifying singularities up to analytic extensions of scalars is smooth. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Oitavem |
A recursion-theoretic approach to NP. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruyuki Yorioka |
A correction to "A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees". |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Fan, Liang Yu |
Maximal pairs of c.e. reals in the computably Lipschitz degrees. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Longyun Ding |
Borel reducibility and finitely Hölder(α) embeddability. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Aleksander Kolodziejczyk |
Independence results for variants of sharply bounded induction. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Jäger, Dieter Probst |
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Liang, Dale Miller |
A focused approach to combining logics. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen |
The provably total NP search problems of weak second order bounded arithmetic. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Evans, Marco S. Ferreira |
The geometry of Hrushovski constructions, I: The uncollapsed case. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiyasu Arai |
Quick cut-elimination for strictly positive cuts. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hetzl, Alexander Leitsch, Daniel Weller |
CERES in higher-order logic. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret E. M. Thomas |
An o-minimal structure without mild parameterization. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Jerábek |
A sorting network in bounded arithmetic. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Andrews |
New spectra of strongly minimal theories in finite languages. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Sato |
The strength of extensionality II - Weak weak set theories without infinity. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antongiulio Fornasiero |
Dimensions, matroids, and dense pairs of first-order structures. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei G. Myasnikov, Mahmood Sohrabi |
Groups elementarily equivalent to a free nilpotent group of finite rank. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Scowcroft |
Some model-theoretic correspondences between dimension groups and AF algebras. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Babenyshev, Vladimir V. Rybakov |
Unification in linear temporal logic LTL. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Fuchs |
λ-structures and s-structures: Translating the iteration strategies. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")