Journals in DBLP
Thomas G. McLaughlin Existentially Complete Nerode Semirings. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Zakharyaschev , Alexander Alekseev All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. [Citation Graph (0, 0)][DBLP ] Journal ] Antonio J. Rodríguez Salas , Francisco M. García Olmedo Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity. [Citation Graph (0, 0)][DBLP ] Journal ] Akira Kanda Acceptable Numerations of Morphisms and Myhill-Shepherdson Property. [Citation Graph (0, 0)][DBLP ] Journal ] Kurt Engesser Some Connections between Topological and Modal Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Giovanna D'Agostino , Mario Magnago Complete, Recursively Enumerable Relations in Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Heinrich Wansing Tarskian Structured Consequence Relations and Functional Completeness. [Citation Graph (0, 0)][DBLP ] Journal ] Bruno Poizat , Tolende G. Mustafin Polygones. [Citation Graph (0, 0)][DBLP ] Journal ] Gregory L. McColm Dimension Versus Number of Variables, and Connectivity, too. [Citation Graph (0, 0)][DBLP ] Journal ] Teresa Bigorajska On Sigma1 -definable Functions Provably Total in I-Pi1 - . [Citation Graph (0, 0)][DBLP ] Journal ] Henryk Kotlarski , Bozena Piekart Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. [Citation Graph (0, 0)][DBLP ] Journal ] Frank P. Weber Invariant Constructions of Simple and Maximal Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Ruggero Ferro , Stefano Baratella Non Standard Regular Finite Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Stanley Burris Polynormal Time Uniform Word Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Hisato Muraki Local Density of Kleene Degrees. [Citation Graph (0, 0)][DBLP ] Journal ] Klaus Denecke Hybrid Identities and Hybrid Equational Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Hajnal Andréka , Ivo Düntsch , István Németi Binary Relations and Permutation Groups. [Citation Graph (0, 0)][DBLP ] Journal ] Maciej Kandulski On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Esko Turunen Well-Defined Fuzzy Sentential Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Antonio J. Rodríguez Salas , Francisco M. García Olmedo A Structure Theorem for Free Temporal Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Zahn A Nonstandard Delta Fundion in a Predicative Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Dietmar Schuchardt , Hans-Dietrich Hecker Two NP-Hard Art-Gallery Problems for Ortho-Polygons. [Citation Graph (0, 0)][DBLP ] Journal ] Gérard Lopez , Youssef Boudabbous La relation différence et l'anti-isomorphie. [Citation Graph (0, 0)][DBLP ] Journal ] Klaus Meer On the Relations Between Discrete and Continuous Complexity Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Allyson Tripp , Alistair H. Lachlan Finite Homogeneous 3-Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Valeriy K. Bulitko On Some Complexity Characteristics of Immune Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Erik Palmgren The Friedman-Translation for Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Jeffrey B. Remmel , Douglas A. Cenzer Feasible Graphs and Colorings. [Citation Graph (0, 0)][DBLP ] Journal ] Akito Tsuboi , Koichiro Ikeda Almost Total Elementary Maps. [Citation Graph (0, 0)][DBLP ] Journal ] Sven Ove Hansson Some Solved and Unsolved Remainder Equations. [Citation Graph (0, 0)][DBLP ] Journal ] Stan J. Surma An Axiomatisation of the Conditionals of Post's Many Valued Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Alberto Marcone The Set of Better Quasi Orderings is Pi2 1 -complete. [Citation Graph (0, 0)][DBLP ] Journal ] Victor Pambuccian Ternary Operations as Primitive Notions for Constructive Plane Geometry VI. [Citation Graph (0, 0)][DBLP ] Journal ] Heinrich Rolletschek Some New Lattice Constructions in High R. E. Degrees. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel Dzierzgowski Constants in Kripke Models for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Alexej P. Pynko Characterizing Belnap's Logic via De Morgans's Laws. [Citation Graph (0, 0)][DBLP ] Journal ] Dany Serrato , Jean-Pierre Olivier Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Kees Trautwein , Erik Aarts Non-associative Lambek Categorial Grammar in Polynormal Time. [Citation Graph (0, 0)][DBLP ] Journal ] Regina Aragón Some Boolean Algebras with Finitely Many Distinguished Ideals I. [Citation Graph (0, 0)][DBLP ] Journal ] Karim Nour A General Type for Storage Operators. [Citation Graph (0, 0)][DBLP ] Journal ] Grzegorz Michalski Relatively Recursively Enumerable Versus Relatively Sigma1 in Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] David DeVidi Intuitionistic epsilon - and tau -calculi. [Citation Graph (0, 0)][DBLP ] Journal ] Maurizio Fattorosi-Barnaba , Silvano Grassotti An Infinitary Graded Modal Logic (Graded Modalities VI). [Citation Graph (0, 0)][DBLP ] Journal ] Charles G. Morgan A Gap Cohomology Group. [Citation Graph (0, 0)][DBLP ] Journal ] 