scientific article; zbMATH DE number 1773098

MaRDI QIDQ4540984zbMATH OpenFDO

Authors J. Howard Johnson

Publication date 28 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2088/20880335

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Finite state transducers with predicates and identities
• scientific article; zbMATH DE number 4047172
• Finite state transducers
• scientific article; zbMATH DE number 1870549
• Iterating transducers

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 Q4540984)