Termination of Isabelle Functions via Termination of Rewriting

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-22863-6_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Termination of Cycle Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Topological Formulation of Termination Properties of Iterates of Functions

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2004English

Termination and Non-Termination Specification Inference

ACM SIGPLAN Notices
Computer Science
2015English

Termination of Pregnancy

The Professional Medical Journal
2018English

Policy Iteration-Based Conditional Termination and Ranking Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Confluence of Non-Left-Linear TRSs via Relative Termination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Pregnancy Termination

American Journal of Public Health
EnvironmentalPublic HealthOccupational Health
1971English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy