Stability of termination and sufficient-completeness under pushouts via amalgamation

From MaRDI portal
Publication:2215962

DOI10.1016/j.tcs.2020.09.024zbMath1464.68215OpenAlexW3084627350MaRDI QIDQ2215962

Kazuhiro Ogata, Kokichi Futatsugi, Daniel Găină, Masaki Nakamura

Publication date: 15 December 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.09.024





Uses Software


Cites Work


This page was built for publication: Stability of termination and sufficient-completeness under pushouts via amalgamation