Implicit Partiality of Signature Morphisms in Institution Theory
Book chapter (June 2021)
The most recent citing publications are shown below. View all 57 publications that cite this research output on Dimensions.
Book chapter (June 2021)
Article in ACM Computing Surveys (August 2020)
Article in Artificial Intelligence (March 2018)