Titlebook: Rewriting Techniques and Applications; 20th International C Ralf Treinen Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009

铁塔等

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

集聚成团

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

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

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

纺织品

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

A精确的

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

Spartan

波动