Means and Limits of Decision (Invited Talk)

DOI10.4230/LIPICS.CSL.2013.28zbMATH Open1356.03050OpenAlexW2266299212MaRDI QIDQ2958509

Lidia Tendera

Publication date: 2 February 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2013.html#Tendera13

zbMATH Keywords

computational complexitydecidabilitytwo-variable first-order logicguarded logicclassical decision problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

This page was built for publication: Means and Limits of Decision (Invited Talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958509)