Journals in DBLP
Iain A. Stewart Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Ralf-Dieter Schindler Weak Covering at Large Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] Stefano Mazzanti Iterative Characterizations of Computable Unary Functions: A General Method. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Goldstern Strongly Amorphous Sets and Dual Dedekind Infinity. [Citation Graph (0, 0)][DBLP ] Journal ] Takeshi Yamaguchi Effective Nonrecursiveness. [Citation Graph (0, 0)][DBLP ] Journal ] Edward Hermann Haeusler , Marcelo da Silva Corrêa A Concrete Categorical Model for the Lambek Syntactic Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Miroslawa Kolowska-Gawiejnowicz Powerset Residuated Algebras and Generalized Lambek Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Jean Sylvestre Gakwaya Characterization of the Relations in Grzegorczyk's Hierarchy Revisited. [Citation Graph (0, 0)][DBLP ] Journal ] Çigdem Gencer , Mehmet Terziler On a Question of Phillips. [Citation Graph (0, 0)][DBLP ] Journal ] Joseph Barback On Regressive Isols and Comparability of Summands and a Theorem of R. Downey. [Citation Graph (0, 0)][DBLP ] Journal ] Fabio Bellissima , Saverio Cittadini Minimal Axiomatization in Modal Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Masahiro Hamano , Mitsuhiro Okada A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. [Citation Graph (0, 0)][DBLP ] Journal ] James P. Jones , Hilbert Levitz , Warren D. Nichols On Series of Ordinals and Combinatorics. [Citation Graph (0, 0)][DBLP ] Journal ] Tapani Hyttinen On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure. [Citation Graph (0, 0)][DBLP ] Journal ] Felipe Cucker Machines Over the Reals and Non Uniformity. [Citation Graph (0, 0)][DBLP ] Journal ] Iain A. Stewart Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Marco Cesati , Miriam Di Ianni Computation Models for Parameterized Complexity. [Citation Graph (0, 0)][DBLP ] Journal ] Bernhard Heinemann On Binary Computation Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Vasco Brattka Order-free Recursion on the Real Numbers. [Citation Graph (0, 0)][DBLP ] Journal ] Alexandra A. Soskova Effective Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Klaus Hilmar Sprenger Some Hierarchies of Primitive Recursive Functions on Term Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Kate Copestake On Nondeterminism, Enumeration Reducibility and Polynomial Bounds. [Citation Graph (0, 0)][DBLP ] Journal ] Rodney G. Downey On the Universal Splitting Property. [Citation Graph (0, 0)][DBLP ] Journal ] Erik Palmgren Constructive Sheaf Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Takeshi Yamaguchi , Ryo Kashima On the Dif%culty of Writing Out Formal Proofs in Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Aviad Heifetz Infinitary S5-Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Miklós Erdélyi-Szabó Decidability in the Constructive Theory of Reals as an Ordered Q -vectorspace. [Citation Graph (0, 0)][DBLP ] Journal ] Jun Li On Remainder Equations. [Citation Graph (0, 0)][DBLP ] Journal ] Olivier Esser An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Hisato Muraki Non Complementedness and Non Distributivity of Kleene Degrees. [Citation Graph (0, 0)][DBLP ] Journal ] Vladimir Kanovei , Michiel van Lambalgen On a Spector Ultrapower for the Solovay Model. [Citation Graph (0, 0)][DBLP ] Journal ] Kazuyuki Tanaka Non standard Analysis in WKLo. [Citation Graph (0, 0)][DBLP ] Journal ] Domenico Zambella Forcing in Finite Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Thierry Lacoste A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences. [Citation Graph (0, 0)][DBLP ] Journal ] Malika More , Frédéric Olive Rudimentary Languages and Second Order Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Arthur W. Apter More an the Least Strongly Compact Cardinal. [Citation Graph (0, 0)][DBLP ] Journal ] Ronald Fagin Comparing the Power of Games on Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Dugald Macpherson , Charles Steinhorn Extending Partial Orders on o-Minimal Structures to Definable Total Orders. [Citation Graph (0, 0)][DBLP ] Journal ] Roland Hinnion Directed Sets and Malitz-Cauchy-Completions. [Citation Graph (0, 0)][DBLP ] Journal ] Eiko Isoda , Kazuaki Nagaoka Incompleteness Results in Kripke Bundle Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Marian Boykan Pour-El , Ning Zhong The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable. [Citation Graph (0, 0)][DBLP ] Journal ] Birger Strauch On Partial Classes Containing All Monotone and Zero-Preserving Total Boolean Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Nicholas Bamber , Henryk Kotlarski On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Yoshihiro Abe Combinatorics for Small Ideals on Pk lambda . [Citation Graph (0, 0)][DBLP ] Journal ] Branislav R. Boricic Validity Measurement in Some Propositional Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Phil Watson Embeddings in the Strong Reducibilities Between 1 and npm. [Citation Graph (0, 0)][DBLP ] Journal ] Carl G. Jockusch Jr. , Frank Stephan Correction to "A Cohesive Set which is not High". [Citation Graph (0, 0)][DBLP ] Journal ] 