by Kaufmann, Matt
Published in Electronic proceedings in theoretical computer science (29.10.2018)

by Kaufmann, Matt, Swords, Sol
Published in Electronic proceedings in theoretical computer science (02.05.2017)

by Coglio, Alessandro, Kaufmann, Matt, Smith, Eric W.
Published in Electronic proceedings in theoretical computer science (02.05.2017)

by Davis, Jared, Kaufmann, Matt
Published in Electronic proceedings in theoretical computer science (04.06.2014)

by Chamarthi, Harsh Raju, Dillinger, Peter C., Kaufmann, Matt, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (20.10.2011)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (04.06.2014)

by Chau, Cuong K., Kaufmann, Matt, Hunt, Warren A.
Published in Electronic proceedings in theoretical computer science (18.09.2015)

by Goel, Shilpi, Hunt, Warren A, Kaufmann, Matt
Published in Electronic proceedings in theoretical computer science (26.04.2013)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (26.04.2013)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (20.10.2011)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (24.05.2022)

by Kaufmann, Matt, Paulson, Lawrence C
Year of Publication 2010

by Goel, Shilpi, Kaufmann, Matt
Published in Electronic proceedings in theoretical computer science (29.10.2018)

by Kaufmann, Matt, Sumners, Rob, Swords, Sol
Published in Electronic proceedings in theoretical computer science (24.05.2022)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (14.11.2023)

by Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri
Published in Archive for mathematical logic (01.02.2018)

by Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (13.10.2017)

by Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (13.10.2017)

by Kaufmann, Matt, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (29.09.2020)

by Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri
Published in Archive for mathematical logic (01.08.2018)