Universality in two dimensions
From MaRDI portal
Publication:2804324
DOI10.1093/LOGCOM/EXT022zbMATH Open1334.68067OpenAlexW1995002960MaRDI QIDQ2804324FDOQ2804324
Authors: Nachum Dershowitz, Gilles Dowek
Publication date: 28 April 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00919604/file/universality2d.pdf
Recommendations
Cited In (2)
This page was built for publication: Universality in two dimensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804324)