Clausal Logic and Logic Programming in Algebraic Domains-Reference-Cited by-同舟云学术

Clausal Logic and Logic Programming in Algebraic Domains

Published:2001-12 Issue:2 Volume:171 Page:183-200
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Rounds William C,Zhang Guo-Qiang

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference23 articles.

1. Domain theory in logical form;Abramsky;Ann. Pure Appl. Logic,1991

2. Abramsky, S., and Jung, A.1994, Domain theory, inHandbook of Logic in Computer ScienceS. Abramsky, D. Gabbay, and T. S. E. Maibaum, Eds., Vol. 3, Clarendon, Oxford.

3. Apt, K. R.1990, Logic programming, inHandbook of Theoretical Computer Science, Vol. B, pp. 495–571, MIT Press/Elsevier, Cambridge, MA.

4. Logic programming and knowledge representation;Baral;J. Logic Programming,1994

5. Coquand, T., and Zhang, G. Q.2000, Sequents, frames, and completeness, inComputer Science Logic 2000P. Clote and H. Schwichtenberg, Eds., Lecture Notes in Computer Science, Vol. 1862, pp. 277–291, Springer-Verlag, Berlin.

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A set-theoretic approach to algebraic L-domains;Mathematical Structures in Computer Science;2024-03

2. Bounded complete domains and their logical form;Information and Computation;2022-11

3. Continuous L-domains in logical form;Annals of Pure and Applied Logic;2021-10

4. A logic for Lawson compact algebraic L-domains;Theoretical Computer Science;2020-04

5. Cut elimination for entailment relations;Archive for Mathematical Logic;2018-12-04