Ramified higher-order unification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1997

Ramified higher-order unification

J. Goubault-Larrecq
  • Function : Author

Dates and versions

hal-03211224 , version 1 (28-04-2021)

Identifiers

Cite

J. Goubault-Larrecq. Ramified higher-order unification. Twelfth Annual IEEE Symposium on Logic in Computer Science, Jun 1997, Warsaw, Poland. pp.410-421, ⟨10.1109/LICS.1997.614966⟩. ⟨hal-03211224⟩
7 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More