Agradeço aos cumprimentos registrados na lista e anuncio o conselho
editorial do selo Lógica no Avião:
http://lna.unb.br/
Anuncio ainda a próxima palestra do seminário, na próxima quinta-feira:
Alfredo Roque Freire, Bi-interpretações em teorias de conjuntos.
Abraço
Rodrigo
--
Você está
Sim João, post muito bom do Moshe Vardi. Que me lembrou de:
[...] the study and optimisation of unification-based parsing must rely on
empirical data until complexity theory can more accurately predict the
practical behaviour of such parsers. [...] It seems likely that
implementational