{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:38Z","timestamp":1725662858418},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540084426"},{"type":"electronic","value":"9783540370840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08442-8_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:26:59Z","timestamp":1330169219000},"page":"12-21","source":"Crossref","is-referenced-by-count":12,"title":["Non deterministic recursive program schemes"],"prefix":"10.1007","author":[{"given":"A.","family":"Annold","sequence":"first","affiliation":[]},{"given":"M.","family":"Nivat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"unstructured":"A.ARNOLD. Syst\u00e8mes d'\u00e9quations dans le magmo\u00efde. Ensembles rationnels et alg\u00e9briques d'arbres. Th\u00e8se d'Etat, Lille (1977).","key":"2_CR1"},{"key":"2_CR2","volume-title":"Th\u00e9orie des magmo\u00efdes","author":"A. Arnold","year":"1977","unstructured":"A. ARNOLD et M. DAUCHET. Th\u00e9orie des magmo\u00efdes. Publication du laboratoire de Calcul, Lille (1977)."},{"unstructured":"G.BOUDOL. Langages polyadiques alg\u00e9briques. Th\u00e9orie des sch\u00e9mas de programme: s\u00e9mantique de l'appel par valeur. Th\u00e8se 3o cycle, Paris (1975).","key":"2_CR3"},{"doi-asserted-by":"crossref","unstructured":"B.COURCELLE and M.NIVAT. Algebra\u00efc families of interpretations. 17th Symp. on Foundations of Computer Science (1976).","key":"2_CR4","DOI":"10.1109\/SFCS.1976.3"},{"unstructured":"H.EGLI. A mathematical model for non-deterministic computations. Z\u00fcrich (1975).","key":"2_CR5"},{"key":"2_CR6","volume-title":"10 and 01. Daimi Report PB 47","author":"J. Engelfriet","year":"1975","unstructured":"J. ENGELFRIET and E.M. SCHMIDT. 10 and 01. Daimi Report PB 47, University of Aarhus, Danemark (1975)."},{"unstructured":"M.HENNESSY and E.A. ASHCROFT. The semantics of non determinism. In \"Automata, Languages and Programming\" 3rd Internat. Colloquium, Edinburgh (1976).","key":"2_CR7"},{"unstructured":"P.HITCHCOCK and D.PARK. Induction rules and termination proofs. In \"Automata, Languages and Programming\" 1st Internat. Colloquium, Paris (1972).","key":"2_CR8"},{"unstructured":"M.NIVAT. On the interpretation of Polyadic Recursive Program Schemes. Symp. Mathematica 15 (1975).","key":"2_CR9"},{"unstructured":"M.NIVAT. Mots infinis engendr\u00e9s par une grammaire alg\u00e9brique. To appear in RAIRO Informatique Th\u00e9orique.","key":"2_CR10"},{"doi-asserted-by":"crossref","unstructured":"G.D.PLOTKIN. Powerdomain Constructions. SIAM J. on Comput. (1976) 452\u2013486.","key":"2_CR11","DOI":"10.1137\/0205035"},{"unstructured":"D.SCOTT. Outline of a mathematical theory of computation. Memo Oxford (1972).","key":"2_CR12"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. W. Thatcher","year":"1977","unstructured":"J.W. THATCHER, J.A. GOGUEN, E.G. WAGNER and J.B. WRIGHT. Initial Algebra Semantics and Continuous Algebra. J. Assoc. Comput. Mach. 24 (1977) 68\u201395.","journal-title":"J. Assoc. Comput. Mach."},{"unstructured":"J.VUILLEMIN. Syntaxe, S\u00e9mantique et Axiomatique d'un Langage de Programmation Simple. Th\u00e8se d'Etat, Paris (1974).","key":"2_CR14"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08442-8_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:52:27Z","timestamp":1619542347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08442-8_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540084426","9783540370840"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-08442-8_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}