Universality in two dimensions
From MaRDI portal
Publication:2804324
DOI10.1093/LOGCOM/EXT022zbMATH Open1334.68067OpenAlexW1995002960MaRDI QIDQ2804324
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
Related Items (1)
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)