The following pages link to Claude Kirchner (Q857912):
Displaying 9 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Dynamically typed computations for order-sorted equational presentations (Q1264443) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463948) (← links)
