{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:44Z","timestamp":1740028784993,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662013"},{"type":"electronic","value":"9783540486855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48685-2_30","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:41Z","timestamp":1269897221000},"page":"382-396","source":"Crossref","is-referenced-by-count":0,"title":["On Implementation of Tree Synchronized Languages"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Saubion","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,5]]},"reference":[{"key":"30_CR1","unstructured":"P. Brisset. Compilation de \u03bb Prolog. PhD thesis, Th\u00e8se de doctorat de l\u2019universit\u00e9 de Rennes, 1992."},{"issue":"2","key":"30_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/22719.22946","volume":"9","author":"J. Cohen","year":"1987","unstructured":"J. Cohen and T.J. Hickey. Parsing and compiling using prolog. ACM Transactions on Programming Languages and Systems, 9(2):125\u2013163, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"30_CR3","unstructured":"H. Comon, M. Dauchet, R. Gilleron, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. 1997."},{"key":"30_CR4","unstructured":"J.-Y. Girard. Linear logic, its syntax and semantics. In Regnier Girard, Lafont, editor, Advances in Linear Logic, number 222 in London Mathematical Society Lecture Notes Series, pages 355\u2013419. Cambridge University Press, 1993."},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear Logic. Theoretical Computer Science, (50):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"P. De Groote and G. Perrier. A Note on Kobayashi\u2019s and Yonezawa\u2019s \u201cAsynchronous Communication Model Based on Linear Logic\u201d. Formal Aspects of Computing, 10, 1998.","DOI":"10.1007\/s001650050008"},{"key":"30_CR7","unstructured":"Y. Guan, G. Hotz, and A. Reichert. Tree Grammars with Multilinear Interpretation. Technical Report FB14-S2-01, 1992."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"M. Hermann and R. Galbavy. Unification of infinite sets of terms schematized by primal grammars. Theoretical Computer Science, 176, 1997.","DOI":"10.1016\/S0304-3975(96)00052-7"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"J. S. Hodas and D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. In Proceedings of LICS\u201991, pages 32\u201342, 1991.","DOI":"10.1109\/LICS.1991.151628"},{"key":"30_CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.46298\/dmtcs.240","volume":"1","author":"S. Limet","year":"1997","unstructured":"S. Limet and P. R\u00e9ty. E-Unification by Means of Tree Tuple Synchronized Grammars. Discrete Mathematics and Theoretical Computer Science, 1:69\u201398, 1997.","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"30_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0052365","volume-title":"Proceedings of 9th Conference on Rewriting Techniques and Applications","author":"S. Limet","year":"1998","unstructured":"S. Limet and P. R\u00e9ty. Solving Disequations modulo some Class of Rewrite System. In T. Nipkow, editor, Proceedings of 9th Conference on Rewriting Techniques and Applications, volume 1379 of LNCS, pages 121\u2013135. Springer Verlag, 1998."},{"key":"30_CR12","series-title":"Lect Notes Comput Sci","volume-title":"PLILP\/ALP\u201998","author":"S. Limet","year":"1998","unstructured":"S. Limet and F. Saubion. Primal Grammars for R-unification. In PLILP\/ALP\u201998, number 1490 in LNCS. Springer-Verlag, 1998."},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Symbolic Computation series. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Dale Miller. A Multiple-Conclusion Meta-Logic. In LICS 1994, pages 272\u2013281, 1994.","DOI":"10.1109\/LICS.1994.316062"},{"key":"30_CR15","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"G. Plotkin. Building-in equational theories. Machine Intelligence, 7:73\u201390, 1972.","journal-title":"Machine Intelligence"},{"key":"30_CR16","unstructured":"F. Saubion and I. Stephan. Grammaires TTSG et Syst\u00e8me FG. Technical report, 1998. Available at http:\/\/www.info.univangers. fr\/pub\/saubion\/Research\/Download.html ."},{"key":"30_CR17","unstructured":"I. St\u00e9phan. Nouvelles fondations pour la programmation en logique disjonctive. PhD thesis, Th\u00e8se de doctorat de l\u2019universit\u00e9 de Rennes, 1995."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48685-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:15:26Z","timestamp":1739992526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48685-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662013","9783540486855"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48685-2_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}