{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:04:29Z","timestamp":1763967869989},"reference-count":15,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1051\/ita:2003024","type":"journal-article","created":{"date-parts":[[2004,1,16]],"date-time":"2004-01-16T10:13:14Z","timestamp":1074247994000},"page":"365-391","source":"Crossref","is-referenced-by-count":11,"title":["On global induction mechanisms in\u00a0a<i>\u03bc<\/i>-calculus with explicit approximations"],"prefix":"10.1051","volume":"37","author":[{"given":"Christoph","family":"Sprenger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2004,1,15]]},"reference":[{"key":"R1","first-page":"38","volume":"1421","author":"Arts","year":"1998","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"R2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(92)90183-G","volume":"96","author":"Bradfield","year":"1992","journal-title":"Theor. Comput. Sci."},{"key":"R3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1006\/inco.1997.2680","volume":"140","author":"Dam","year":"1998","journal-title":"Inf. Comput."},{"key":"R4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1093\/logcom\/12.2.255","volume":"12","author":"Dam","year":"2002","journal-title":"J. Logic Comput."},{"key":"R5","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0167-6423(87)90036-0","volume":"8","author":"Emerson","year":"1987","journal-title":"Sci. Comput. Program."},{"key":"R6","unstructured":"L. Fredlund,A Framework for Reasoning about Erlang Code. Ph.D. thesis, Royal Institute of Technology, Stockholm, Sweden (2001)."},{"key":"R7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"Kozen","year":"1983","journal-title":"Theor. Comput. Sci."},{"key":"R8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0304-3975(95)00136-0","volume":"163","author":"Niwinski","year":"1997","journal-title":"Theor. Comput. Sci."},{"key":"R9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"Park","year":"1976","journal-title":"Theor. Comput. Sci."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"S. Safra, On the complexity of\u03c9-automata, in29th IEEE Symposium on Foundations of Computer Science(1988) 319-327.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"R11","unstructured":"U. Sch\u00f6pp, Formal verification of processes. Master's thesis, University of Edinburgh (2001)"},{"key":"R12","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/3-540-45931-6_26","volume":"2303","author":"Sch\u00f6pp","year":"2002","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R13","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-36576-1_27","volume":"2620","author":"Sprenger","year":"2003","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R14","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(90)90110-4","volume":"89","author":"Stirling","year":"1991","journal-title":"Theor. Comput. Sci."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"W. Thomas, Automata on infinite objects. J. van Leeuwen, Elsevier Science Publishers, Amsterdam,Handb. Theor. Comput. Sci.B(1990) 133-191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003024\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T03:23:58Z","timestamp":1585452238000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":15,"journal-issue":{"issue":"4"},"alternative-id":["ita0317"],"URL":"https:\/\/doi.org\/10.1051\/ita:2003024","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}