Hostname: page-component-745bb68f8f-cphqk Total loading time: 0 Render date: 2025-02-11T17:43:27.719Z Has data issue: false hasContentIssue false

TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017

Published online by Cambridge University Press:  02 January 2019

Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Meeting Report
Copyright
Copyright © The Association for Symbolic Logic 2018