{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:49Z","timestamp":1725483769065},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_63","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:28:20Z","timestamp":1178357300000},"page":"680-689","source":"Crossref","is-referenced-by-count":3,"title":["Regularity of Congruential Graphs"],"prefix":"10.1007","author":[{"given":"Tanguy","family":"Urvoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"63_CR1","unstructured":"S. Burckel. Syst\u00e9mes congruentiels. Technical report, S\u00e9minaire de logique et algorithmique. Universit\u00e9 de Rouen, 1992."},{"issue":"2","key":"63_CR2","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/0304-3975(94)90136-8","volume":"123","author":"S. Burckel","year":"1994","unstructured":"S. Burckel. Functional equations associated with congruential functions. Theoretical Computer Science, 123(2):397\u2013406, 1994.","journal-title":"Theoretical Computer Science"},{"key":"63_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0304-3975(92)90278-N","volume":"106","author":"D. Caucal","year":"1992","unstructured":"D. Caucal. On the regular structure of prefix rewriting. Theorical Computer Science, 106:61\u201386, 1992.","journal-title":"Theorical Computer Science"},{"key":"63_CR4","first-page":"85","volume":"53","author":"D. Caucal","year":"1995","unstructured":"D. Caucal. Bisimulation of context-free grammars and of pushdown automata. CSLI Modal logic and process algebra, 53:85\u2013106, 1995.","journal-title":"CSLI Modal logic and process algebra"},{"key":"63_CR5","unstructured":"J.H. Conway. Unpredictable iterations. In Number Theory, pages 49\u201352, 1972."},{"key":"63_CR6","doi-asserted-by":"crossref","unstructured":"B. Courcelle. Graph rewriting, an algebraic and logic approach. In J. Van Leuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 193\u2013242, 1990. Elsevier.","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"issue":"1","key":"63_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2322189","volume":"92","author":"J. C. Lagarias","year":"1985","unstructured":"J. C. Lagarias. The 3x+1 problem and its generalizations. The American Mathematical Monthly, 92(1):3\u201323, 1985.","journal-title":"The American Mathematical Monthly"},{"key":"63_CR8","first-page":"252","volume-title":"Lecture Notes in Computer Science","author":"Christophe Morvan","year":"2000","unstructured":"C. Morvan. On rational graphs. Fossacs 2000, 2000."},{"key":"63_CR9","doi-asserted-by":"crossref","unstructured":"D. E. Muller and P. E. Schupp. The theory of ends, pushdown automata, and second-order logic. Theoretical Computer Science, 1985.","DOI":"10.1016\/0304-3975(85)90087-8"},{"key":"63_CR10","unstructured":"D. Perrin. Finite automata. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 1\u201353. North Holland, 1990."},{"key":"63_CR11","unstructured":"Shallit and Wilson. The \u201c3x+1\u201d problem and finite automata. BEATCS: Bulletin of the European Association for Theoretical Computer Science, 46, 1992."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_63","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:41:43Z","timestamp":1556376103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_63","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}