scientific article; zbMATH DE number 7799627
From MaRDI portal
Publication:6187069
DOI10.4230/LIPICS.FSTTCS.2021.49MaRDI QIDQ6187069
Takahito Aoto, Kentaro Kikuchi
Publication date: 5 February 2024
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
term rewritingsufficient completenessnon-terminationderivation rulelocal sufficient completenesswell-founded induction schema
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
This page was built for publication:
