학술논문
Stability of termination and sufficient-completeness under pushouts via amalgamation
Document Type
Article
Author
Source
In: Theoretical Computer Science . (Theoretical Computer Science, 24 December 2020, 848:82-105)
Subject
Language
English
ISSN
03043975