in Logic, Language, Information and Computation, Proceedings in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4576, Pages: 120-130 (11)
Conference
14Th International Workshop on Logic, Language, Information and Computation, Date: JUL 02-05, 2007, Location: Rio de Janeiro, BRAZIL, Sponsors: Assoc Symbol Logic, Interest Grp Pure & Appl Log, European Assoc Log, Language & Informat, European Assoc Theoret Comp Sci, Soc Brasileira Computacao, Soc Brasileira Loc