A proof-theoretic study of abstract termination principles
type: Item
instance of: scholarly article
title: A proof-theoretic study of abstract termination principles
zbMATH Open document ID: 1480.03058
publication date: 2020-02-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/1706.03577
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 7168184
MaRDI profile type: Publication
OpenAlex ID: W2997174405
arXiv ID: 1706.03577
Wikidata QID: Q126865736
DOI: 10.1093/LOGCOM/EXZ026
Recommended article: Proof-theoretic analysis of termination proofs
Recommended article: Towards a domain theory for termination proofs
Recommended article: Q4202962
Recommended article: A methodology for proving termination of logic programs
Recommended article: Inductive termination proofs with transition invariants and their relationship to the size-change abstraction
Recommended article: A proof-theoretic foundation of abortive continuations
Recommended article: Q2767031
Recommended article: Proof Abstraction for Imperative Languages
Recommended article: Q2778874
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7168184