> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Decidability of equivalence for a class of non-deterministic tree transducers Beteiligte: André, Yves; Dauchet, Max Erschienen: EDP Sciences, 1994 Erschienen in: RAIRO - Theoretical Informatics and Applications, 28 (1994) 5, Seite 447-463 Sprache: Nicht zu entscheiden DOI: 10.1051/ita/1994280504471 ISSN: 0988-3754; 1290-385X Schlagwörter: Computer Science Applications ; General Mathematics ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang