Flounder
发表于 2025-3-30 10:04:44
A Model for Interaction of Agents and Environmentsvalence. Two behaviours are insertion equivalent if they define the same transformation of an environment. The properties of this equivalence are studied. Three main types of insertion functions are used to develop interesting applications: one-step insertion, head insertion, and look-ahead insertio
冒烟
发表于 2025-3-30 13:30:46
http://reply.papertrans.cn/83/8234/823391/823391_52.png
持续
发表于 2025-3-30 18:52:51
978-3-540-67898-4Springer-Verlag Berlin Heidelberg 2000
领带
发表于 2025-3-30 20:47:53
Recent Trends in Algebraic Development Techniques978-3-540-44616-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
paradigm
发表于 2025-3-31 03:48:46
http://reply.papertrans.cn/83/8234/823391/823391_55.png
CYN
发表于 2025-3-31 08:58:28
http://reply.papertrans.cn/83/8234/823391/823391_56.png
陈旧
发表于 2025-3-31 09:30:52
http://reply.papertrans.cn/83/8234/823391/823391_57.png
Medley
发表于 2025-3-31 13:22:07
http://reply.papertrans.cn/83/8234/823391/823391_58.png
幼稚
发表于 2025-3-31 17:36:20
http://reply.papertrans.cn/83/8234/823391/823391_59.png
职业
发表于 2025-4-1 00:59:43
http://reply.papertrans.cn/83/8234/823391/823391_60.png