The following pages link to Hélène Kirchner (Q271708):
Displayed 21 items.
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- R n - and G n -logics (Q4645806) (← links)
- (Q4702599) (← links)
- A Strategy Language for Graph Rewriting (Q4909323) (← links)
- Narrowing Based Inductive Proof Search (Q4916079) (← links)
- (Q4939289) (← links)
- (Q4964704) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY (Q5175890) (← links)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248) (← links)
- (Q5277867) (← links)
- Automatic Combinability of Rewriting-Based Satisfiability Procedures (Q5387918) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395131) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463948) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709986) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
- Automated Deduction – CADE-19 (Q5900725) (← links)