BibSonomy :: author  :: Voronkov ::

bookmarks

publications

(786)

• A PVS Proof Obligation Generator for Lustre Programs.
  Cécile Canovas-Dumas and Paul Caspi LPAR 179-188 (2000)
  to dblp by dblp on 2008-08-05 00:00:00
  | URL | BibTeX  
• Combining Equational Tree Automata over AC and ACI Theories.
  Joe Hendrix and Hitoshi Ohsaki RTA 142-156 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Finer Is Better: Abstraction Refinement for Rewriting Approximations.
  Yohan Boichut and Roméo Courbis and Pierre-Cyrille Héam and Olga Kouchnarenko RTA 48-62 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.
  Sorin Stratulat RTA 351-365 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Confluence by Decreasing Diagrams.
  Vincent van Oostrom RTA 306-320 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Closure of Hedge-Automata Languages by Hedge Rewriting.
  Florent Jacquemard and Michaël Rusinowitch RTA 157-171 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Nominal Unification from a Higher-Order Perspective.
  Jordi Levy and Mateu Villaret RTA 246-260 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• On Normalisation of Infinitary Combinatory Reduction Systems.
  Jeroen Ketema RTA 172-186 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Deciding Innermost Loops.
  René Thiemann and Jürgen Giesl and Peter Schneider-Kamp RTA 366-380 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• A Needed Rewriting Strategy for Data-Structures with Pointers.
  Rachid Echahed and Nicolas Peltier RTA 63-78 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX