{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:44:40Z","timestamp":1648899880105},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s00224-011-9376-x","type":"journal-article","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T05:07:22Z","timestamp":1322111242000},"page":"706-720","source":"Crossref","is-referenced-by-count":0,"title":["On the Contribution of Backward Jumps to Instruction Sequence Expressiveness"],"prefix":"10.1007","volume":"50","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"Inge","family":"Bethke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,11,25]]},"reference":[{"key":"9376_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(87)90111-3","volume":"52","author":"J.L. Balcazar","year":"1987","unstructured":"Balcazar, J.L., Diaz, J., Gabarro, J.: On characterizations of the class PSPACE\/poly. Theor. Comput. Sci. 52, 251\u2013267 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"9376_CR2","series-title":"LNCS","first-page":"1","volume-title":"Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30\u2013July 4","author":"J.A. Bergstra","year":"2003","unstructured":"Bergstra, J.A., Bethke, I.: Polarized process algebra and program equivalence. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30\u2013July 4. LNCS, vol. 2719, pp. 1\u201321. Springer, Berlin (2003)"},{"issue":"2","key":"9376_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s00236-007-0040-5","volume":"44","author":"J.A. Bergstra","year":"2007","unstructured":"Bergstra, J.A., Bethke, I., Ponse, A.: Decision problems for pushdown threads. Acta Inform. 44(2), 75\u201390 (2007)","journal-title":"Acta Inform."},{"issue":"2","key":"9376_CR4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S1567-8326(02)00018-8","volume":"51","author":"J.A. Bergstra","year":"2002","unstructured":"Bergstra, J.A., Loots, M.E.: Program algebra for sequential code. J. Log. Algebr. Program. 51(2), 125\u2013156 (2002)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"9376_CR5","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/s00165-007-0024-9","volume":"19","author":"J.A. Bergstra","year":"2007","unstructured":"Bergstra, J.A., Middelburg, C.A.: Thread algebra for strategic interleaving. Form. Asp. Comput. 19(4), 445\u2013474 (2007)","journal-title":"Form. Asp. Comput."},{"key":"9376_CR6","unstructured":"Bergstra, J.A., Middelburg, C.A.: Instruction sequences and non-uniform complexity theory. arXiv:0809.0352v3 (2010)"},{"key":"9376_CR7","unstructured":"Bergstra, J.A., Middelburg, C.A.: Instruction sequence processing operators. arXiv:0910.5564v3 (2010)"},{"key":"9376_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S1567-8326(02)00020-6","volume":"51","author":"J.A. Bergstra","year":"2002","unstructured":"Bergstra, J.A., Ponse, A.: Combining programs and state machines. J. Log. Algebr. Program. 51, 175\u2013192 (2002)","journal-title":"J. Log. Algebr. Program."},{"issue":"6","key":"9376_CR9","first-page":"761","volume":"36","author":"D.B. Bui","year":"1984","unstructured":"Bui, D.B., Mavlyanov, A.V.: Theory of program algebras. Ukr. Math. J. 36(6), 761\u2013764 (1984)","journal-title":"Ukr. Math. J."},{"issue":"1","key":"9376_CR10","first-page":"35","volume":"24","author":"D.B. Bui","year":"1988","unstructured":"Bui, D.B., Mavlyanov, A.V.: Mutual derivability of operations in program algebra. I. Cybern. Syst. Anal. 24(1), 35\u201339 (1988)","journal-title":"Cybern. Syst. Anal."},{"issue":"6","key":"9376_CR11","first-page":"1","volume":"24","author":"D.B. Bui","year":"1988","unstructured":"Bui, D.B., Mavlyanov, A.V.: Mutual derivability of operations in program algebra. II. Cybern. Syst. Anal. 24(6), 1\u20136 (1988)","journal-title":"Cybern. Syst. Anal."},{"key":"9376_CR12","doi-asserted-by":"crossref","unstructured":"Cobham, A.: The recognition problem for the set of perfect squares. Research paper RC-1704, IBM Watson Research Centre (1966)","DOI":"10.1109\/SWAT.1966.30"},{"key":"9376_CR13","first-page":"151","volume-title":"Proc. 3rd STOC","author":"S. Cook","year":"1971","unstructured":"Cook, S.: The complexity of theorem-proving procedures. In: Proc. 3rd STOC, pp. 151\u2013158. IEEE Comput. Soc., Los Alamitos (1971)"},{"key":"9376_CR14","first-page":"302","volume-title":"Proc. 12th STOC","author":"R.M. Karp","year":"1980","unstructured":"Karp, R.M., Lipton, R.J.: Some connections between nonuniform and uniform complexity classes. In: Proc. 12th STOC, pp. 302\u2013309. ACM, New York (1980)"},{"issue":"1","key":"9376_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(93)90256-S","volume":"107","author":"J.H. Lutz","year":"1993","unstructured":"Lutz, J.H., Schmidt, W.J.: Circuit size relative to pseudorandom oracles. Theor. Comput. Sci. 107(1), 95\u2013120 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"9376_CR16","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34, 1045\u20131079 (1955)","journal-title":"Bell Syst. Tech. J."},{"key":"9376_CR17","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/11780342_46","volume-title":"Logical Approaches to Computational Barriers: Proceedings CiE 2006","author":"A. Ponse","year":"2006","unstructured":"Ponse, A., van\u00a0der Zwaag, M.B.: An introduction to program and thread algebra. In: Beckmann, A., et al. (ed.) Logical Approaches to Computational Barriers: Proceedings CiE 2006. LNCS, vol. 3988, pp. 445\u2013458. Springer, Berlin (2006)"},{"key":"9376_CR18","unstructured":"Pudlak, P., Zak, S.: Space complexity of computations. Preprint, University of Prague (1983)"},{"key":"9376_CR19","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"W. Savitch","year":"1970","unstructured":"Savitch, W.: Relations between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci. 4, 177\u2013192 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"9376_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16079-5","volume-title":"Complexity and Structure","author":"U. Sch\u00f6ning","year":"1986","unstructured":"Sch\u00f6ning, U.: Complexity and Structure. Springer, Berlin (1986)"},{"key":"9376_CR21","series-title":"SIAM Monographs on Discrete Mathematics and Applications","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719789","volume-title":"Branching Programs and Binary Decision Diagrams","author":"I. Wegener","year":"2000","unstructured":"Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM Monographs on Discrete Mathematics and Applications (2000)"},{"key":"9376_CR22","unstructured":"von Wright, J.: An Interactive Metatool for Exploring Program Algebras. Turku Centre for Computer Science, TUCS Technical Report No. 247, March (1999)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s00224-011-9376-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:57:50Z","timestamp":1560977870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-011-9376-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,25]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["9376"],"URL":"https:\/\/doi.org\/10.1007\/s00224-011-9376-x","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,25]]}}}