EVICT 发表于 2025-4-1 04:07:43

http://reply.papertrans.cn/39/3844/384385/384385_61.png

GRIN 发表于 2025-4-1 07:24:41

https://doi.org/10.1007/978-3-658-31523-8 transformation rule to refine the underlying type graph. We discuss the relation to the existing approaches to controlled sesqui-pushout vertex cloning, elaborate a basic theoretical framework, and demonstrate its applicability by a practical example.
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Germanisch-deutsche Sprachgeschichte im Überblick; Günther Schweikle Textbook 1990Latest edition Springer-Verlag Berlin Heidelberg 1990 De