×

Found 2 Documents (Results 1–2)

A completeness result for relation algebra with binders. (English) Zbl 1261.03170

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, 204-217 (2002).
MSC:  03G15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field