Hélène Kirchner And NotSpécification algébrique
List of bibliographic references
Number of relevant bibliographic references: 9.Ident. | Authors (with country if any) | Title |
---|---|---|
000125 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
000367 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
000472 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; DUC KHANH TRAN [France] | On superposition-based satisfiability procedures and their combination |
000527 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A proof of weak termination providing the right way to terminate |
000572 | Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: The ELAN experience outcomes |
000681 | Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France] | Proof search and proof check for equational and inductive theorems |
000721 | Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France] | Automated generation of kinetic chemical mechanisms using rewriting |
000731 | Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France] | A rule-based approach for automated generation of kinetic chemical mechanisms |
000809 | Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |