Inproceedings,

From Decidability to Undecidability by Considering Regular Sets of Instances.

.
ICTCS, volume 2756 of CEUR Workshop Proceedings, page 33-46. CEUR-WS.org, (2020)

Meta data

Tags

Users

  • @dblp

Comments and Reviews