Matsuda, Kazutaka; Inaba, Kazuhiro; Nakano, Keisuke Polynomial-time inverse computation for accumulative functions with multiple data traversals. (English) Zbl 1360.68366 High.-Order Symb. Comput. 25, No. 1, 3-38 (2012). MSC: 68N30 68N18 68Q45 PDF BibTeX XML Cite \textit{K. Matsuda} et al., High.-Order Symb. Comput. 25, No. 1, 3--38 (2012; Zbl 1360.68366) Full Text: DOI OpenURL
Sakarovitch, Jacques Elements of automata theory. Translated from the French by Reuben Thomas. (English) Zbl 1188.68177 Cambridge: Cambridge University Press (ISBN 978-0-521-84425-3/hbk). xxiv, 758 p. (2009). Reviewer: Siegmar Gerber (Leipzig) MSC: 68Q45 20M35 68Q70 68-01 PDF BibTeX XML Cite \textit{J. Sakarovitch}, Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge University Press (2009; Zbl 1188.68177) OpenURL
Foster, J. Nathan; Pilkiewicz, Alexandre; Pierce, Benjamin C. Quotient lenses. (English) Zbl 1323.68071 Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 383-396 (2008). MSC: 68N15 68N18 68Q45 68Q55 PDF BibTeX XML Cite \textit{J. N. Foster} et al., in: Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP '08, Victoria, BC, Canada, September 20--28, 2008. New York, NY: Association for Computing Machinery (ACM). 383--396 (2008; Zbl 1323.68071) Full Text: DOI OpenURL
Bohannon, Aaron; Foster, J. Nathan; Pierce, Benjamin C.; Pilkiewicz, Alexandre; Schmitt, Alan Boomerang, resourceful lenses for string data. (English) Zbl 1295.68077 Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 407-419 (2008). MSC: 68N30 68N15 68N18 68Q42 PDF BibTeX XML Cite \textit{A. Bohannon} et al., in: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '08, San Francisco, CA, USA, January 07--12, 2008. New York, NY: Association for Computing Machinery (ACM). 407--419 (2008; Zbl 1295.68077) Full Text: DOI OpenURL
Voigtlander, Janis Formal efficiency analysis for tree transducer composition. (English) Zbl 1148.68014 Theory Comput. Syst. 41, No. 4, 619-689 (2007). MSC: 68N18 PDF BibTeX XML Cite \textit{J. Voigtlander}, Theory Comput. Syst. 41, No. 4, 619--689 (2007; Zbl 1148.68014) Full Text: DOI OpenURL
Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis Deaccumulation techniques for improving provability. (English) Zbl 1116.68077 J. Log. Algebr. Program. 71, No. 2, 79-113 (2007). MSC: 68T15 68N18 68Q60 PDF BibTeX XML Cite \textit{J. Giesl} et al., J. Log. Algebr. Program. 71, No. 2, 79--113 (2007; Zbl 1116.68077) Full Text: DOI OpenURL
Voigtländer, Janis Using circular programs to deforest in accumulating parameters. (English) Zbl 1075.68013 High.-Order Symb. Comput. 17, No. 1-2, 129-163 (2004). MSC: 68N18 PDF BibTeX XML Cite \textit{J. Voigtländer}, High.-Order Symb. Comput. 17, No. 1--2, 129--163 (2004; Zbl 1075.68013) Full Text: DOI OpenURL
Kühnemann, Armin; Glück, Robert; Kakehi, Kazuhiko Relating accumulative and non-accumulative functional programs. (English) Zbl 1018.68017 Middeldorp, Aart (ed.), Rewriting techniques and applications. 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2051, 154-168 (2001). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Kühnemann} et al., Lect. Notes Comput. Sci. 2051, 154--168 (2001; Zbl 1018.68017) OpenURL
Victor, J. D.; Johannesma, P. Maximum-entropy approximations of stochastic nonlinear transductions: An extension of the Wiener theory. (English) Zbl 0591.92008 Biol. Cybern. 54, 289-300 (1986). MSC: 92Cxx 33C45 41A46 41A99 PDF BibTeX XML Cite \textit{J. D. Victor} and \textit{P. Johannesma}, Biol. Cybern. 54, 289--300 (1986; Zbl 0591.92008) Full Text: DOI OpenURL
Edwards, J. B.; Twemlow, J. K. Effect of wide-beam sensors on control of dual-delay systems. (English) Zbl 0512.93041 IEE Proc., Part D 130, 226-230 (1983). MSC: 93C15 34K35 93D15 44A15 93B17 PDF BibTeX XML Cite \textit{J. B. Edwards} and \textit{J. K. Twemlow}, IEE Proc., Part D 130, 226--230 (1983; Zbl 0512.93041) Full Text: DOI OpenURL
Culik, Karel II; Pachl, Jan K. Equivalence problems for mappings on infinite strings. (English) Zbl 0472.68045 Inf. Control 49, 52-63 (1981). MSC: 68Q45 PDF BibTeX XML Cite \textit{K. Culik II} and \textit{J. K. Pachl}, Inf. Control 49, 52--63 (1981; Zbl 0472.68045) Full Text: DOI OpenURL
Head, Tom Codes, languages, OL schemes, and a-transducers. (English) Zbl 0429.68068 Soochow J. Math. 5, 45-62 (1979). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Head}, Soochow J. Math. 5, 45--62 (1979; Zbl 0429.68068) OpenURL
Stanomir, D. Hybrid systems. General concepts. (Romanian) Zbl 0426.93035 Bul. Inst. Politeh. Bucur., Ser. Electroteh. 41, No. 4, 45-53 (1979). MSC: 93C05 93C99 78A25 93C30 PDF BibTeX XML Cite \textit{D. Stanomir}, Bul. Inst. Politeh. Bucur., Ser. Electroteh. 41, No. 4, 45--53 (1979; Zbl 0426.93035) OpenURL