]> BibSonomy publications for/author/Voronkov LPARconf/lpar/2000179-188Lecture Notes in Computer ScienceA PVS Proof Obligation Generator for Lustre Programs.19552000dblp 2008-08-05 00:00:00.0 RTAconf/rta/2008142-156Lecture Notes in Computer ScienceCombining Equational Tree Automata over AC and ACI Theories.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/200848-62Lecture Notes in Computer ScienceFiner Is Better: Abstraction Refinement for Rewriting Approximations.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008351-365Lecture Notes in Computer ScienceCombining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008306-320Lecture Notes in Computer ScienceConfluence by Decreasing Diagrams.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008157-171Lecture Notes in Computer ScienceClosure of Hedge-Automata Languages by Hedge Rewriting.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008246-260Lecture Notes in Computer ScienceNominal Unification from a Higher-Order Perspective.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008172-186Lecture Notes in Computer ScienceOn Normalisation of Infinitary Combinatory Reduction Systems.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/2008366-380Lecture Notes in Computer ScienceDeciding Innermost Loops.51172008dblp 2008-08-02 00:00:00.0 RTAconf/rta/200863-78Lecture Notes in Computer ScienceA Needed Rewriting Strategy for Data-Structures with Pointers.51172008dblp 2008-08-02 00:00:00.0