Completion-time optimization of rewrite-time goal solving-Reference-Cited by-同舟云学术

Completion-time optimization of rewrite-time goal solving

Published:1989 Issue: Volume: Page:45-58
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Bertling Hubert,Ganzinger Harald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51081-8_99.pdf

Reference24 articles.

1. Bachmair, L.: Proof methods for equational theories. PhD-Thesis, U. of Illinois, Urbana Champaign, 1987.

2. Bachmair, L., Dershowitz, N. and Hsiang, J.: Proof orderings for equational proofs. Proc. LICS 86, 346–357.

3. Bertling, H. and Ganzinger, H.: Completion of Application-Restricted Equations. Report 289, FB Informatik, U. Dortmund, 1989.

4. Bosco, P.G., Giovannetti, E. and Moiso, C.: Refined Strategies for Semantic Unification. TAP-SOFT 87, Springer LNCS 250, 276–290, 1987.

5. Bertling, H., Ganzinger, H. and Schäfers, R.: CEC: A system for conditional equational completion. User Manual Version 1.4, PROSPECTRA-Report M.1.3-R-7.0, U. Dortmund, 1988.

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

1. Harald Ganzinger’s Legacy: Contributions to Logics and Programming;Programming Logics;2013

2. Computing More Specific Versions of Conditional Rewriting Systems;Logic-Based Program Synthesis and Transformation;2013

3. Using groups for investigating rewrite systems;Mathematical Structures in Computer Science;2008-10-22

4. Logicality of conditional rewrite systems;Theoretical Computer Science;2000-04

5. Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems;Logic for Programming and Automated Reasoning;1999