Volume 2, Number 1, March 1992
export record as
dblp key:
journals/logcom/Gelfond92 export record as
dblp key:
journals/logcom/GorankoP92 export record as
dblp key:
journals/logcom/BenevidesM92 export record as
dblp key:
Arnon Avron :
Axiomatic Systems, Deduction and Implication.
51-98
Volume 2, Number 2, May 1992
export record as
dblp key:
journals/logcom/Fitting92 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/logcom/LaenensV92 Els Laenens ,
Dirk Vermeir :
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
133-172
export record as
dblp key:
journals/logcom/EmersonSS92 export record as
dblp key:
Volume 2, Number 3, June 1992
export record as
dblp key:
journals/logcom/Maibaum92 export record as
dblp key:
journals/logcom/AuffrayE92 export record as
dblp key:
journals/logcom/Andreoli92 export record as
dblp key:
journals/logcom/FittingMT92 export record as
dblp key:
Felipe Cucker :
The Arithmetical Hierarchy over the Reals.
375-395
export record as
dblp key:
journals/logcom/Gottlob92 Georg Gottlob :
Complexity Results for Nonmonotonic Logics.
397-425
Volume 2, Number 4, August 1992
export record as
dblp key:
export record as
dblp key:
journals/logcom/Nielson92 export record as
dblp key:
journals/logcom/HughesL92 export record as
dblp key:
Simon Hughes :
Compile-Time Garbage Collection for Higher-Order Functional Languages.
483-509
export record as
dblp key:
journals/logcom/CousotC92
Volume 2, Number 5, October 1992
export record as
dblp key:
export record as
dblp key:
A. W. Roscoe :
An Alternative Order for the Failures Model.
557-577
export record as
dblp key:
journals/logcom/Kamareddine92 export record as
dblp key:
journals/logcom/ClarkeGK92 export record as
dblp key:
journals/logcom/SahlinFH92
Volume 2, Number 6, December 1992
export record as
dblp key:
journals/logcom/Lifschitz92 export record as
dblp key:
journals/logcom/Schlechta92 Karl Schlechta :
Some Results on Classical Preferential Models.
675-686
export record as
dblp key:
journals/logcom/Kamareddine92a export record as
dblp key:
journals/logcom/BrinkVP92 export record as
dblp key:
journals/logcom/KakasKT92
data released under the ODC-BY 1.0 license
