zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 233-253 (2002).
MSC:  68N30 03B40 68Q42
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication