Margus Veanes And NotColombie
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 009938 | Harald Ganzinger ; Florent Jacquemard [France] ; Margus Veanes | Rigid reachability, the non-symmetric form of rigid E-unification |
| 009A22 | Harald Ganzinger ; Florent Jacquemard ; Margus Veanes | Rigid reachability, the non-symmetric form of rigid E-unification |
| 00A351 | Véronique Cortier ; Harald Ganzinger ; Florent Jacquemard [France] ; Margus Veanes | Decidable fragments of simultaneous rigid reachability |
| 00A793 | Veronique Cortier ; Harald Ganzinger ; Florent Jacquemard ; Margus Veanes | Decidable fragments of simultaneous rigid reachability |
| 00AA17 | Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France] | Decidable Fragments of Simultaneous Rigid Reachability |
| 00B192 | Harald Ganzinger ; Florent Jacquemard ; Margus Veanes | Rigid Reachability |
| 00B586 | Harald Ganzinger ; Florent Jacquemard [France] ; Margus Veanes | Rigid Reachability |
| This area was generated with Dilib version V0.6.33. |  |