17. RTA 2006:
Seattle, WA, USA Frank Pfenning (Ed.):
Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings.
Lecture Notes in Computer Science 4098 Springer 2006, ISBN 3-540-36834-5 FLoC Plenary Talk
export record as
dblp key:
Randal E. Bryant :
Formal Verification of Infinite State Systems Using Boolean Methods.
1-3
Session 1. Constraints and Optimization
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2. Equational Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3. System Verification
export record as
dblp key:
export record as
dblp key:
Invited Talk
export record as
dblp key:
Session 4. Lambda Calculus
export record as
dblp key:
Sylvain Salvati :
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda -Calculus.
151-165
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 5. Theorem Proving
export record as
dblp key:
Steven Obua :
Checking Conservativity of Overloaded Definitions in Higher-Order Logic.
212-226
export record as
dblp key:
Adam Koprowski :
Certified Higher-Order Recursive Path Ordering.
227-241
export record as
dblp key:
Takahito Aoto :
Dealing with Non-orientable Equations in Rewriting Induction.
242-256
Session 6. System Descriptions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Talk
export record as
dblp key:
Session 6. System Descriptions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yi Wang ,
Masahiko Sakai :
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.
343-356
export record as
dblp key:
Session 8. Higher-Order Rewriting and Unification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
