(* Autor(s): Andrej Dudenhefner (1) Affiliation(s): (1) Saarland University, Saarbrücken, Germany *)
(* Undecidability Result(s): Uniform Boundedness of Confluent Simple Stack Machines (CSSM_UB) *)
Require Undecidability.StackMachines.Reductions.SMNdl_UB_to_CSSM_UB.

(* Undecidability of Uniform Boundedness of Confluent Simple Stack Machines *)
Theorem CSSM_UB_undec : undecidable CSSM_UB.