The following pages link to Claude Kirchner (Q857912):
Displaying 50 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Equational completion in order-sorted algebras (Q912606) (← 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)
- REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies (Q1097686) (← links)
- Completion for unification (Q1178701) (← 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)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- External rewriting for skeptical proof assistants (Q1868511) (← links)
- A methodological view of constraint solving (Q1969731) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- (Q2703689) (← links)
- HOL-λσ: an intentional first-order expression of higher-order logic (Q2713352) (← links)
- The rewriting calculus - part I (Q2720293) (← links)
- The rewriting calculus - part II (Q2720294) (← links)
- Generating Feasible Schedules for a Pick-up and Delivery Problem (Q2741264) (← links)
- (Q2762629) (← links)
- (Q2769430) (← links)
- (Q2778872) (← links)
- (Q2782483) (← links)
- (Q2844065) (← links)
- (Q2848117) (← links)
- (Q2849580) (← links)
- (Q2849855) (← links)
- (Q2851046) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- Formal Validation of Pattern Matching code (Q2917405) (← links)
- Pure patterns type systems (Q2942930) (← links)
- Toward the concurrent implementation of computational systems (Q2956709) (← links)
- (Q3086785) (← links)
- (Q3338225) (← links)
- (Q3490927) (← links)
- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets (Q3507365) (← links)
- Anti-pattern Matching Modulo (Q3540120) (← links)
- Constraint Based Strategies (Q3557093) (← links)
- Superdeduction at Work (Q3608815) (← links)
- Formal Islands (Q3623924) (← links)
- (Q3664457) (← links)
- (Q3696486) (← links)
- (Q3780426) (← links)
- (Q3792234) (← links)
- (Q3795207) (← links)
- (Q3817573) (← links)
- Programming with equalities, subsorts, overloading, and parametrization in OBJ (Q3992232) (← links)
