M. Henz. Term rewriting in associative commutative theories with identities. Master's thesis, State University of New York at Stony Brook, Dec. 1991. Available by anonymous FTP from duck.dfki.uni-sb.de: pub/papers/MT-Henz.ps.Z. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (35 citations) (Correct)
....close to work of Meseguer [129, 128, 130] to formalize concurrent programming by non equational (one way) ACI rewriting. The connection has been recently developed by Mart i Oliet and Meseguer [125, 124] see also recent work of Malcolm [119] Techniques for ACI rewriting are described in e.g. [110, 83, 116]. Holldobler et al. 86, 78] prove that at least for deductive planning, three proposed approaches the linear connection method, the ACI rewriting approach and the LL based approach (see below) are equivalent. They also consider issues of change, action and specificity (selecting the method ....
M. Henz. Term rewriting in associative commutative theories with identities. Master's thesis, State University of New York at Stony Brook, Dec. 1991. Available by anonymous FTP from duck.dfki.uni-sb.de: pub/papers/MT-Henz.ps.Z.
Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (9 citations) (Correct)
.... this means that a powerful enough matching algorithm should be used so that it can efficiently try all possible permutations of the entities in the configuration (e.g. the three entities (18) 19) and (20) above should be thought of as unordered) For some recent work on AC and ACI rewriting see [36, 55, 67]. Another problem is that a rewriting rule should mention and carry to the other side all of the state of an object, even the attributes which do not affect and are not affected by the rule (in (17) we have assumed that the only attribute of Account is bal) This can be avoided using partial ....
M. Henz. Term rewriting in associative commutative theories with identities. Master's thesis, State University of New York at Stony Brook, Dec. 1991. Available by anonymous FTP from duck.dfki.uni-sb.de: pub/papers/MT-Henz.ps.Z.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC