Journals in DBLP
Fabio Alessi , Franco Barbanera , Mariangiola Dezani-Ciancaglini Intersection Types and Computational Rules. [Citation Graph (0, 0)][DBLP ] Journal ] Dale Miller Encryption as an abstract data type. [Citation Graph (0, 0)][DBLP ] Journal ] Ruy J. G. B. de Queiroz , Elaine Pimentel , Lucília Figueiredo Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Renata Hax Sander Reiser , Antônio Carlos da Rocha Costa , Graçaliz Pereira Dimuro A Programming Language for the Interval Geometric Machine. [Citation Graph (0, 0)][DBLP ] Journal ] Hans Rott Economy and economics in the logic of theory change. [Citation Graph (0, 0)][DBLP ] Journal ] Lutz Straßburger System NEL is Undecidable. [Citation Graph (0, 0)][DBLP ] Journal ] Yoshitaka Suzuki , Satoshi Tojo Fusion of Pedigreed Preferential Relations. [Citation Graph (0, 0)][DBLP ] Journal ] Leonardo B. Vana , Marcelo da S. Corrêa A Tableau Method for the Lambek Calculus based on a Matrix Characterization. [Citation Graph (0, 0)][DBLP ] Journal ] Marek Zaionc Statistics of implicational logic. [Citation Graph (0, 0)][DBLP ] Journal ] Yngve Lamo , Michal Walicki Quantifier-free logic for multialgebraic theories. [Citation Graph (0, 0)][DBLP ] Journal ] Jean-Baptiste Joinet Calculus of structures and proof-nets. [Citation Graph (0, 0)][DBLP ] Journal ] Eric Allender NL-printable sets and Nondeterministic Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Journal ] Benjamín René Callejas Bedregal , André Nies Lowness Properties of Reals and Hyper-Immunity. [Citation Graph (0, 0)][DBLP ] Journal ] Nachum Dershowitz , Iddo Tzameret Gap Embedding for Well-Quasi-Orderings. [Citation Graph (0, 0)][DBLP ] Journal ] Marcelo Finger , Renata Wassermann The Universe of Approximations. [Citation Graph (0, 0)][DBLP ] Journal ] Francisco Gutiérrez , Blas C. Ruiz Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Sven Hartmann , Sebastian Link On Functional Dependencies in Advanced Data Models. [Citation Graph (0, 0)][DBLP ] Journal ] Lauri Hella Quantifying over Quantifiers. [Citation Graph (0, 0)][DBLP ] Journal ] Lauri Hella , Jose Maria Turull Torres Expressibility of Higher Order Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Richard Zuber Some properties of intercategorial entailment. [Citation Graph (0, 0)][DBLP ] Journal ] 