Journals in DBLP
Armin Hemmerling Computability of String Functions Over Algebraic Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Olivier Gasquet Predicate Modal Logics Do Not Mix Very Well. [Citation Graph (0, 0)][DBLP ] Journal ] Jana Dietel , Hans-Dietrich Hecker Quadrilaterizing an Orthogonal Polygon in Parallel. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Ekman Propositions in Propositional Logic Provable Only by Indirect Proofs. [Citation Graph (0, 0)][DBLP ] Journal ] Kyriakos Keremedis Extending Independent Sets to Bases and the Axiom of Choice. [Citation Graph (0, 0)][DBLP ] Journal ] Karim Nour S-Storage Operators. [Citation Graph (0, 0)][DBLP ] Journal ] Anuj Dawar , Georg Gottlob , Lauri Hella Capturing Relativized Complexity Classes without Order. [Citation Graph (0, 0)][DBLP ] Journal ] Lorenz Halbeisen On Shattering, Splitting and Reaping Partitions. [Citation Graph (0, 0)][DBLP ] Journal ] Simon Thomas The Nonexistence of a Binary Homogeneous Pseudoplane. [Citation Graph (0, 0)][DBLP ] Journal ] Mauro Di Nasso Linearly Stratified Models for the Foundations of Nonstandard Mathematics. [Citation Graph (0, 0)][DBLP ] Journal ] Fernando Ferreira , António Marques Extracting Algorithms from Intuitionistic Proofs. [Citation Graph (0, 0)][DBLP ] Journal ] Koichiro Ikeda , Anand Pillay , Akito Tsuboi On Theories Having Three Countable Models. [Citation Graph (0, 0)][DBLP ] Journal ] Hiroshi Aoyama The Semantic Completeness of a Global Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Tapani Hyttinen Generalizing Morley's Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Bakhadyr Khoussainov , Alexander Yakhnis , Vladimir Yakhnis Games with Unknown Past. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Johannsen A Model Theoretic Property of Sharply Bounded Formulae, with some Applications. [Citation Graph (0, 0)][DBLP ] Journal ] Roland Hinnion Ramifiable Directed Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Joseph Barback A Fine Structure in the Theory of Isols. [Citation Graph (0, 0)][DBLP ] Journal ] Youssef Boudabbous Sur la détermination d'une relation binaire à partir d'informations locales. [Citation Graph (0, 0)][DBLP ] Journal ] Sebastiaan Terwijn , Leen Torenvliet Arithmetical Measure. [Citation Graph (0, 0)][DBLP ] Journal ] Vladimir Kanovei Ulm Classification of Analytic Equivalence Relations in Generic Universes. [Citation Graph (0, 0)][DBLP ] Journal ] Ning Zhong Derivatives of Computable Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Mohammad Ardeshir , Wim Ruitenburg Basic Propositional Calculus I. [Citation Graph (0, 0)][DBLP ] Journal ] Miklós Erdélyi-Szabó Undecidability of the Real Algebraic Structure of Scott's Modell. [Citation Graph (0, 0)][DBLP ] Journal ] Anuj Dawar , Kees Doets , Steven Lindell , Scott Weinstein Elementary Properties of the Finite Ranks. [Citation Graph (0, 0)][DBLP ] Journal ] Tapani Hyttinen , Saharon Shelah On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure. [Citation Graph (0, 0)][DBLP ] Journal ] Kyriakos Keremedis Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice. [Citation Graph (0, 0)][DBLP ] Journal ] Paul E. Howard , Kyriakos Keremedis , Herman Rubin , Jean E. Rubin Versions of Normality and Some Weak Forms of the Axiom of Choice. [Citation Graph (0, 0)][DBLP ] Journal ] Ferrante Formato , Giangiacomo Gerla Grasping Infinity by Finite Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Armin Hemmerling Computability Over Structures of Infinite Signature. [Citation Graph (0, 0)][DBLP ] Journal ] Saturo Kuroda On a Theory for AC0 and the Strength of the Induction Scheine. [Citation Graph (0, 0)][DBLP ] Journal ] Bernhard Banaschewski Choice Principles and Compactness Conditions. [Citation Graph (0, 0)][DBLP ] Journal ] Seema Ahmad , Alistair H. Lachlan Some Special Pairs Of Sigma2 e-Degrees. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Krajícek Interpolation by a Game. [Citation Graph (0, 0)][DBLP ] Journal ] Jeffry L. Hirst Reverse Mathematics and Ordinal Multiplication. [Citation Graph (0, 0)][DBLP ] Journal ] William I. Gasarch , Jeffry L. Hirst Reverse Mathematics and Recursive Graph Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Henryk Kotlarski Other Proofs of Old Results. [Citation Graph (0, 0)][DBLP ] Journal ] Christian Delhommé Infinite Projection Properties. [Citation Graph (0, 0)][DBLP ] Journal ] Paul E. Howard , Kyriakos Keremedis , Herman Rubin , Jean E. Rubin Disjoint Unions of Topological Spaces and Choice. [Citation Graph (0, 0)][DBLP ] Journal ] Jörg Flum An Extension of the Lemma of Rasiowa and Sikorski. [Citation Graph (0, 0)][DBLP ] Journal ] James H. Schmerl Difference Sets and Recursion Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Hans-Dietrich Hecker , Dietmar Schuchardt Variants of Visibility and their Complexity. [Citation Graph (0, 0)][DBLP ] Journal ] Herbert Baier , Klaus W. Wagner The Analytic Polynomial Time Hierarchy. [Citation Graph (0, 0)][DBLP ] Journal ] Douglas S. Bridges , Hajime Ishihara A Definitive Constructive Open Mapping Theorem? [Citation Graph (0, 0)][DBLP ] Journal ] Hernando Gaitán Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Johannsen A Remark an Independence Results for Sharply Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] 