Flávio L. C. de Moura

@Article{MARK06,
  author =	 "F.L.C.~de Moura and M.~Ayala-Rinc{\'o}n and
		  F. Kamareddine",
  title =	 "{SUBSEXPL: A Framework for Simulating and Comparing
		  Explicit Substitutions Calculi}",
  journal =	 "Journal of Applied and Non-classical Logics",
  year =	 2006,
  volume =	 16,
  number =	 "1-2",
  pages =	 "119--150"
}

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

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

Validate