{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:29Z","timestamp":1742617109853,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543459"},{"type":"electronic","value":"9783540475798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54345-7_75","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:42:46Z","timestamp":1330209766000},"page":"318-327","source":"Crossref","is-referenced-by-count":2,"title":["A decidable case of the semi-unification problem"],"prefix":"10.1007","author":[{"given":"Hans","family":"Lei\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fritz","family":"Henglein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"J. D\u00f6rre and B. Rounds: On Subsumption and Semiunification in Feature Algebras. Proc. 5th Annual IEEE Symposium on Logic in Computer Science, Pittsburgh 1990","DOI":"10.1109\/LICS.1990.113756"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"F.Henglein: Type Inference and Semi-Unification. Proc. ACM Conference on Lisp and Functional Programming, Snowbird, Utah, July 25\u201327, 1988, pp. 184\u2013197.","DOI":"10.1145\/62678.62701"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"F.Henglein: Polymorphic Type Inference and Semi-Unification. PhD Thesis, New York University, Dept. of Computer Science, Tech. Report 443, May 1989.","DOI":"10.1145\/62678.62701"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"F.Henglein: Fast Left-Linear Semi-Unification. Proc. of the International Conference on Computing and Information, Niagara Falls, Canada, May 1990. Springer LNCS 468, pp 82\u201391.","DOI":"10.1007\/3-540-53504-7_64"},{"key":"32_CR5","first-page":"435","volume":"338","author":"D. Kapur","year":"1988","unstructured":"D. Kapur and D. Musser and P. Narendran and J. Stillman: Semi-Unification. Proc. of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, India, December 21\u201323, 1988. Springer LNCS 338, pp. 435\u2013454.","journal-title":"Springer LNCS"},{"key":"32_CR6","unstructured":"G.Kreisel, personal communication, Nov. 1989"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"A.J.Kfoury, J.Tiuryn, and P.Urcyczyn: Computational Consequences and Partial Solutions of a Generalized Unification Problem. 4th IEEE Symposium on Logic in Computer Science, Asilomar, California, June 5\u20138, 1989.","DOI":"10.1109\/LICS.1989.39163"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"A.J.Kfoury, J.Tiuryn, and P.Urcyczyn: The Undecidablity of the Semi-Unification Problem. Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, Baltimore, Maryland, May 14\u201316, 1990, pp. 468\u2013476.","DOI":"10.1145\/100216.100279"},{"key":"32_CR9","first-page":"206","volume":"431","author":"A.J. Kfoury","year":"1990","unstructured":"A.J. Kfoury, J. Tiuryn, and P. Urcyczyn: ML-Typability is DEXPTIME-complete. 15th Colloquium on Trees in Algebra and Programming, CAAP'90, Arnold (ed.). Springer LNCS 431, pp. 206\u2013220, 1990.","journal-title":"Springer LNCS"},{"key":"32_CR10","first-page":"151","volume":"329","author":"H. Lei\u00df","year":"1987","unstructured":"H. Lei\u00df, On Type Inference for Object-Oriented Programming Languages. E. B\u00f6rger e.a. (eds.) CSL'87. Proc. of the 1st Workshop on Computer Science Logic, Universit\u00e4t Karlsruhe, 1987. Springer LNCS 329, pp. 151\u2013172","journal-title":"Springer LNCS"},{"key":"32_CR11","series-title":"Technical Report","volume-title":"Semi-Unification and Type Inference for Polymorphic Recursion","author":"H. Lei\u00df","year":"1989","unstructured":"H. Lei\u00df, Semi-Unification and Type Inference for Polymorphic Recursion. Technical Report INF2-ASE-5-89, Siemens AG, M\u00fcnchen, May 1989."},{"key":"32_CR12","first-page":"211","volume":"440","author":"H. Lei\u00df","year":"1989","unstructured":"H. Lei\u00df: Polymorphic Recursion and Semi-Unification. E. B\u00f6rger e.a. (eds.) CSL '89. Proc. of the 3rd Workshop on Computer Science Logic, Universit\u00e4t Kaiserslautern, Oct 2\u20136, 1989. Springer LNCS 440, pp. 211\u2013224.","journal-title":"Springer LNCS"},{"key":"32_CR13","first-page":"217","volume":"187","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft: Polymorphic Type Schemes and Recursive Definitions. In: International Symposium on Programming, 6th Colloquium. Toulouse, April 17\u201319, 1984. Springer LNCS 187, pp. 217\u2013228.","journal-title":"Springer LNCS"},{"issue":"3","key":"32_CR14","first-page":"551","volume":"29","author":"P. Pudl\u00e1k","year":"1988","unstructured":"P. Pudl\u00e1k: On a Unification Problem related to Kreisel's Conjecture. Commentationes Mathematicae Universitatis Carolinae, no. 29 (3), 1988, pp. 551\u2013556.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"32_CR15","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"G. Takeuti: Proof Theory. Second Edition. North-Holland, Amsterdam 1975.","edition":"Second Edition"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54345-7_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:16:56Z","timestamp":1742591816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54345-7_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543459","9783540475798"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54345-7_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}