scientific article; zbMATH DE number 5529981

zbMATH Open1155.68412MaRDI QIDQ3615224FDOQ3615224

Authors: P. Lisovik 

Publication date: 18 March 2009

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3858450
• Symbolic tree transducers
• scientific article; zbMATH DE number 3945364
• scientific article; zbMATH DE number 6131600
• scientific article; zbMATH DE number 4108162
• scientific article; zbMATH DE number 3976378
• Manipulating tree tuple languages by transforming logic programs
• scientific article; zbMATH DE number 3972227
• Higher-order multi-parameter tree transducers and recursion schemes for program verification
• Forward and backward application of symbolic tree transducers

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (2)

• Program equivalence checking by two-tape automata
• Metalinear recursive schemas on marked trees

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3615224)