Titlebook: Rewriting Techniques and Applications; Dijon, France, May 2 Jean-Pierre Jouannaud Conference proceedings 1985 Springer-Verlag Berlin Heidel

endoscopy

0302-9743 Overview: 978-3-540-15976-6978-3-540-39679-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

引導(dǎo)

Fissure

Abdelilah Kandri-Rody,Deepak Kapur,Paliath Narendran

全國性

完全

Deciding algebraic properties of monoids presented by finite church-rosser Thue systems,

eucalyptus

An experiment in partial evaluation: The generation of a compiler generator,

octogenarian

裝勇敢地做

A procedure for automatically proving the termination of a set of rewrite rules,

Ptosis

depreciate

Two applications of equational theories to database theory,s is equivalent to implication of dependencies expressing transitive closure, together with functional dependencies. This natural generalization of functional dependencies, which is not expressible using conventional database theory formulations, has a natural inference system and an efficient decis