Journals in DBLP
Mauricio Ayala-Rincón , Flávio L. C. de Moura , Fairouz Kamareddine Comparing Calculi of Explicit Substitutions with Eta-reduction. [Citation Graph (0, 0)][DBLP ] Journal ] Fairouz Kamareddine , François Monin , Mauricio Ayala-Rincón On automating the extraction of programs from proofs using product types. [Citation Graph (0, 0)][DBLP ] Journal ] Henry E. Kyburg Jr. , Choh-Man Teng The Logic of Risky Knowledge. [Citation Graph (0, 0)][DBLP ] Journal ] Gopalan Nadathur The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. [Citation Graph (0, 0)][DBLP ] Journal ] Norihiro Ogata Dynamic Semantics of Plurals DPLQ*. [Citation Graph (0, 0)][DBLP ] Journal ] Mauricio Osorio , Juan A. Navarro , José Arrazola A logical approach to A-Prolog. [Citation Graph (0, 0)][DBLP ] Journal ] Rohit Parikh States of Knowledge. [Citation Graph (0, 0)][DBLP ] Journal ] Ruy J. G. B. de Queiroz , Luiz Carlos Pereira , Edward Hermann Haeusler Preface: WoLLIC 2002 [Citation Graph (0, 0)][DBLP ] Journal ] Klaus-Dieter Schewe , Jose Maria Turull Torres Computable Queries for Object Oriented Databases. [Citation Graph (0, 0)][DBLP ] Journal ] Erich Grädel Model Checking Games. [Citation Graph (0, 0)][DBLP ] Journal ] Nikos Gorogiannis , Mark Ryan Requirements, specifications, and minimal refinement. [Citation Graph (0, 0)][DBLP ] Journal ] Renata P. de Freitas , Jorge Petrúcio Viana A Completeness Result for Relation Algebra with Binders. [Citation Graph (0, 0)][DBLP ] Journal ] Benjamín René Callejas Bedregal , Ivanosca Andrade da Silva Continuous Domains and their Information System Representation as Logical Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Jean-Yves Béziau Non Truth-Functional Many-Valuedness. [Citation Graph (0, 0)][DBLP ] Journal ] Ricardo Bianconi Definability in o-minimal expansions of the real numbers. [Citation Graph (0, 0)][DBLP ] Journal ] Sabine Broda , Luís Damas Studying provability in implicational intuitionistic logic the formula tree approach. [Citation Graph (0, 0)][DBLP ] Journal ] Arthur Buchsbaum A Logic for Ambiguous Description. [Citation Graph (0, 0)][DBLP ] Journal ] Felipe Cucker On sparseness and Turing reducibility over the reals. [Citation Graph (0, 0)][DBLP ] Journal ] Agostino Dovier , Raffaella Gentilini , Carla Piazza , Alberto Policriti Rank-Based Symbolic Bisimulation (and Model Checking). [Citation Graph (0, 0)][DBLP ] Journal ] Carlos H. C. Duarte , T. S. E. Maibaum A Branching Time Logical System for Open Distributed Systems Development. [Citation Graph (0, 0)][DBLP ] Journal ] Igor Walukiewicz Deciding low levels of tree-automata hierarchy. [Citation Graph (0, 0)][DBLP ] Journal ] 