×

Found 30 Documents (Results 1–30)

Decidability problems for self-induced systems generated by a substitution. (English) Zbl 1411.37018

Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9–11, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9288, 3-16 (2015).
MSC:  37B50 03D35 28A80 68Q45 68R15
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software