Decidability of Parameterized Verification / Lists

This edition is on 0 lists.

This reader hasn't created any lists yet.

Recent Activity

When	What	Who	Comment
13 seconds ago	Не оцифровані (list) - diff	bicolino34	Added "Knyha o dilakh narodu ukraïnsʹkoho--" to the list.
33 seconds ago	Не оцифровані (list) - diff	bicolino34	Added "I polih nash narod, nache skoshene z︠h︡yto-- " to the list.
1 minute ago	Не оцифровані (list) - diff	bicolino34	Added "Ali︠a︡ska" to the list.
1 minute ago	Matthew (list) - diff	Tiffany Jackson829	Added Kid Amazing vs. the Blob to the list.
2 minutes ago	Не оцифровані (list) - diff	bicolino34	Added " navishcho pro te zhadui︠u︡?" to the list.