Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic - United States
doi 10.1145/1462179.1462182
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Termination of Cycle Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Termination of Isabelle Functions via Termination of Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Rewriting Strategies and Strategic Rewrite Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Getting Termination Right: Strategies for Cervical Preparation

BJOG: An International Journal of Obstetrics and Gynaecology
GynecologyObstetrics
2017English

Query Rewriting Under Linear $$\Mathcal {EL}$$ Knowledge Bases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Term Rewriting With Prefix Context Constraints and Bottom-Up Strategies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Larval Diapause Termination of Monochamus Alternatus HOPE(Coleoptera:Cerambycidae)under Natural Conditions

Applied Entomology and Zoology
Insect Science
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy