Visning af: Hereditary History Preserving Bisimilarity is Undecidable

Tilbage til artikeldetaljer Hereditary History Preserving Bisimilarity is Undecidable Download Download PDF