
Search the dblp DataBase
E. G. K. LópezEscobar:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Martin Davis, E. G. K. LópezEscobar, Wilfred Sieg
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1986, v:51, n:4, pp:10851092 [Journal]
 C. Ward Henson, Bjarni Jonsson, E. G. K. LópezEscobar, Michael D. Resnik
Meeting of the Association for Symbolic Logic: Atlanta 1973. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1974, v:39, n:2, pp:390405 [Journal]
 E. G. K. LópezEscobar
Remarks on an Infinitary Language with Constructive Formulas. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:3, pp:305318 [Journal]
 E. G. K. LópezEscobar
On the Interpolation Theorem for the Logic of Constant Domains. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1981, v:46, n:1, pp:8788 [Journal]
 E. G. K. LópezEscobar
Equivalence Between Semantics for Intuitionism. I. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1981, v:46, n:4, pp:773780 [Journal]
 E. G. K. LópezEscobar
Implicational Logics in Natural Deduction Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:1, pp:184186 [Journal]
 E. G. K. LópezEscobar
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains". [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:3, pp:595599 [Journal]
 E. G. K. LópezEscobar
Circumscription within Monotonic Inferences. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:3, pp:888904 [Journal]
 E. G. K. LópezEscobar
Remarks on the ChurchRosser Property. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1990, v:55, n:1, pp:106112 [Journal]
Search in 0.017secs, Finished in 0.018secs
