铁塔等
发表于 2025-3-25 04:00:07
A Heterogeneous Pushout Approach to Term-Graph Transformation, . are termgraphs representing the left-hand and the right-hand sides of the rule, . is a mapping from the nodes of . to those of . and . is a partial function from nodes of . to nodes of .. The mapping . describes how incident edges of the nodes in . are connected in ., it is not required to be a g
集聚成团
发表于 2025-3-25 08:55:32
An Explicit Framework for Interaction Nets,ional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard’s .: interaction nets are presented as partial permutations and a composition of nets, the ., is derive
CAMEO
发表于 2025-3-25 12:33:03
Dual Calculus with Inductive and Coinductive Types,d in the new system, that is, this paper presents its involution for the new system and proves that it preserves both typing and reduction. The duality between inductive types and coinductive types is shown by the existence of the involution that maps an inductive type and a coinductive type to each
Commodious
发表于 2025-3-25 18:23:23
The Derivational Complexity Induced by the Dependency Pair Method,d is closed under elementary functions. We show that the derivational complexity induced by the dependency pair method based on this termination technique is the same as for the direct technique. Therefore, the derivational complexity induced by the dependency pair method based on lexicographic path
纺织品
发表于 2025-3-25 20:02:03
Local Termination, we have seen an extensive development over the past years. Both the semantic characterization and most known termination methods are concerned with . termination, uniformly of all the terms of a term rewriting system (TRS). In this paper we consider . termination, of specific sets of terms within a
Discrete
发表于 2025-3-26 01:59:50
http://reply.papertrans.cn/83/8300/829959/829959_26.png
A精确的
发表于 2025-3-26 06:14:47
A Heterogeneous Pushout Approach to Term-Graph Transformation,more, we introduce a notion of . and define rewrite steps as heterogeneous pushouts in a given category. Among the features of the proposed rewrite systems, we quote the ability to perform local and global redirection of pointers, addition and deletion of nodes as well as cloning and collapsing substructures.
demote
发表于 2025-3-26 10:20:11
http://reply.papertrans.cn/83/8300/829959/829959_28.png
Spartan
发表于 2025-3-26 13:43:33
http://reply.papertrans.cn/83/8300/829959/829959_29.png
波动
发表于 2025-3-26 18:45:21
http://reply.papertrans.cn/83/8300/829959/829959_30.png