Flávio L. C. de Moura

@Article{MARK08,
  author =	 "F.L.C.~de Moura and M.~Ayala-Rinc{\'o}n and
		  F.~Kamareddine",
  title =	 "{Higher-Order Unification: A structural relation
		  between Huet's method and the one based on explicit
		  substitutions}",
  journal =	 "Journal of Applied Logic",
  pages =	 "72--108",
  volume =	 6,
  number =	 1,
  year =	 2008
}

Email: flaviomoura@unb.br, flavio.de.moura@gmail.com

Created: 2016-12-03 Sáb 13:02

Validate