Volume 13, Number 1, February 2003
export record as
dblp key:
export record as
dblp key:
journals/logcom/GabbayPW03 export record as
dblp key:
journals/logcom/Hansson03 export record as
dblp key:
export record as
dblp key:
journals/logcom/Rodrigues03 Odinaldo Rodrigues :
Structured Clusters: A Framework to Reason with Contradictory Interests.
69-97
export record as
dblp key:
journals/logcom/FermeMT03 export record as
dblp key:
Hans Rott :
Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence.
111-145
export record as
dblp key:
Volume 13, Number 2, April 2003
export record as
dblp key:
Xizhong Zheng :
On the Turing Degrees of Weakly Computable Real Numbers.
159-172
export record as
dblp key:
journals/logcom/DAgostino03 export record as
dblp key:
journals/logcom/BowmanT03 export record as
dblp key:
journals/logcom/MontagnaPT03 export record as
dblp key:
journals/logcom/Lotfallah03 export record as
dblp key:
Risto Kaila :
On Almost Sure Elimination of Numerical Quantifiers.
273-285
export record as
dblp key:
journals/logcom/AlpuenteFIV03 export record as
dblp key:
Richard Banach :
Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.
313-314
Volume 13, Number 3, June 2003
export record as
dblp key:
journals/logcom/BrewkaPV03 export record as
dblp key:
journals/logcom/Verheij03 Bart Verheij :
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions.
319-346
export record as
dblp key:
journals/logcom/ParsonsWA03 export record as
dblp key:
journals/logcom/CayrolDM03 export record as
dblp key:
journals/logcom/Bochman03 Alexander Bochman :
Collective Argumentation and Disjunctive Logic Programming.
405-428
export record as
dblp key:
journals/logcom/Bench-Capon03
Volume 13, Number 4, August 2003
export record as
dblp key:
journals/logcom/Wansing03 export record as
dblp key:
journals/logcom/Odintsov03 export record as
dblp key:
Petr Hájek :
Fuzzy Logics with Noncommutative Conjuctions.
469-479
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/logcom/EstevaGHM03 export record as
dblp key:
journals/logcom/ArieliD03 export record as
dblp key:
export record as
dblp key:
journals/logcom/ConiglioSS03 export record as
dblp key:
journals/logcom/Banach03a Richard Banach :
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.).
625-627
Volume 13, Number 5, 2003
export record as
dblp key:
export record as
dblp key:
journals/logcom/CervesatoP03 export record as
dblp key:
journals/logcom/DyckhoffU03 Roy Dyckhoff ,
Christian Urban :
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation.
689-706
export record as
dblp key:
journals/logcom/GalmicheM03 export record as
dblp key:
journals/logcom/BellinR03 export record as
dblp key:
journals/logcom/Robinson03 export record as
dblp key:
Volume 13, Number 6, 2003
export record as
dblp key:
journals/logcom/Coupet-Grimal03 Solange Coupet-Grimal :
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.
801-813
export record as
dblp key:
journals/logcom/Coupet-GrimalN03 export record as
dblp key:
export record as
dblp key:
journals/logcom/KuceraE03 export record as
dblp key:
Morteza Moniri :
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND.
881-888
export record as
dblp key:
journals/logcom/AielloBB03 export record as
dblp key:
journals/logcom/KaminskiY03 export record as
dblp key:
journals/logcom/AlechinaDR03 export record as
dblp key:
journals/logcom/Banach03b export record as
dblp key:
journals/logcom/Banach03c
data released under the ODC-BY 1.0 license
