The undecidability of the first-order theories of one step rewriting in linear 
canonical systems

Vorobyov, Sergei

Lokale TagsFreigabegeschichteDetailsÜbersicht

The undecidability of the first-order theories of one step rewriting in linear canonical systems

Vorobyov, S. (2002). The undecidability of the first-order theories of one step rewriting in linear canonical systems. Information and Computation, 175, 182-213.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-30A6-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-30A7-D

Genre: Zeitschriftenartikel

ausblenden:

Urheber:
Vorobyov, Sergei^{1, 2}, Autor

Affiliations:
1Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society, ou_40046
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045