Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations-Reference-Cited by-同舟云学术

Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations

Published:2002 Issue: Volume: Page:241-259
ISSN:0302-9743
Container-title:Automated Deduction—CADE-18
language:
Short-container-title:

Author:

Gramlich Bernhard,Pichler Reinhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45620-1_20

Reference23 articles.

1. F. Baader and T. Nipkow. Term rewriting and All That. Cambridge University Press, 1998.

2. P. Baumgartner, C. Fermüller, N. Peltier, and H. Zhang. Workshop: Model Computation-Principles, Algorithms, Applications. In D. McAllester, ed., Proc. 17th Int. Conf. on Automated Deduction (CADE’00), LNAI 1831, p. 513, Pittsburgh, PA, USA, June 2000. Springer-Verlag.

3. R. Caferra and N. Peltier. Extending semantic resolution via automated model building: Applications. In Proc. 14th Int. Conf. on Artificial Intelligence (IJ-CAI’95), pp. 328–334, Montréal, Québec, Canada, Aug. 1995. Morgan Kaufmann.

4. R. Caferra and N. Zabel. A method for simultanous search for refutations and models by equational constraint solving. Journal of Symbolic Computation, 13:613–642, 1992.

5. H. Chu and D. Plaisted. CLIN-S-a semantically guided first-order theorem prover. Journal of Automated Reasoning, 18(2):183–188, 1997.

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

1. Beyond the elementary representations of program invariants over algebraic data types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

2. Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations;Automated Deduction—CADE-18;2002