Number of documents

3


"Harald Ganzinger"   

Journal articles1 document

  • Harald Ganzinger, Florent Jacquemard, Margus Veanes. Rigid reachability, the non-symmetric form of rigid E-unification. International Journal of Foundations of Computer Science, World Scientific Publishing, 2000, 11 (1), pp.3-27. ⟨inria-00099097⟩

Conference papers1 document

  • Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. Decidable fragments of simultaneous rigid reachability. International Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260. ⟨inria-00098806⟩

Reports1 document

  • Harald Ganzinger, Florent Jacquemard, Margus Veanes. Rigid Reachability. [Intern report] 98-R-388 || ganzinger98a, 1998, 24 p. ⟨inria-00098741⟩