Termination of nested and mutually recursive algorithms
type: Item
instance of: scholarly article
title: Termination of nested and mutually recursive algorithms
zbMATH Open document ID: 0882.68019
DOI: 10.1023/A:1005797629953
author: Jürgen Giesl
published in: Journal of Automated Reasoning
publication date: 1998-02-04T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1062580
zbMATH Keywords: automated termination analysis
zbMATH Keywords: functional programs
MaRDI profile type: Publication
full work available at URL: a:1005797629953
OpenAlex ID: W2123640792
description: scientific article; zbMATH DE number 1062580