{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:59Z","timestamp":1742617199649,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614401"},{"type":"electronic","value":"9783540685807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61440-0_123","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:37:25Z","timestamp":1330292245000},"page":"134-145","source":"Crossref","is-referenced-by-count":3,"title":["A complete gentzen-style axiomatization for set constraints"],"prefix":"10.1007","author":[{"given":"Allan","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Dexter","family":"Kozen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","first-page":"1","volume-title":"volume 832 of Lect. Notes in Comput. Sci.","author":"A. Aiken","year":"1993","unstructured":"Alexander Aiken, Dexter Kozen, Moshe Vardi, and Edward Wimmers. The complexity of set constraints. In E. B\u00f6rger, Y. Gurevich, and K. Meinke, editors, Proc. 1993 Conf. Computer Science Logic (CSL'93), volume 832 of Lect. Notes in Comput. Sci., pages 1\u201317. Eur. Assoc. Comput. Sci. Logic, Springer, September 1993."},{"issue":"1","key":"11_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1006\/inco.1995.1139","volume":"122","author":"A. Aiken","year":"1995","unstructured":"Alexander Aiken, Dexter Kozen, and Edward Wimmers. Decidability of systems of set constraints with negative constraints. Infor. and Comput., 122(1):30\u201344, October 1995.","journal-title":"Infor. and Comput."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"A. Aiken and B. Murphy. Implementing regular tree expressions. In Proc. 1991 Conf. Functional Programming Languages and Computer Architecture, pages 427\u2013447, August 1991.","DOI":"10.1007\/3540543961_21"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"A. Aiken and B. Murphy. Static type inference in a dynamically typed language. In Proc. 18th Symp. Principles of Programming Languages, pages 279\u2013290. ACM, January 1991.","DOI":"10.1145\/99583.99621"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"A. Aiken and E. Wimmers. Solving systems of set constraints. In Proc. 7th Symp. Logic in Computer Science, pages 329\u2013340. IEEE, June 1992.","DOI":"10.1109\/LICS.1992.185545"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"L. Bachmair, H. Ganzinger, and U. Waldmann. Set constraints are the monadic class. In Proc. 8th Symp. Logic in Computer Science, pages 75\u201383. IEEE, June 1993.","DOI":"10.1109\/LICS.1993.287598"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"A. Cheng and D. Kozen. A Complete Gentzen-style Axiomatization for Set Constraints. Tech. Rep. 95-1518, Computer Science Department, Cornell University, May 1995.","DOI":"10.1007\/3-540-61440-0_123"},{"key":"11_CR8","unstructured":"A. Colmerauer. PROLOG and infinite trees. In S.-\u00c5. T\u00e4rnlund and K. L. Clark, editors, Logic Programming, pages 231\u2013251. Academic Press, January 1982."},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Bruno Courcelle. Fundamental properties of infinite trees. Theor. Comput. Sci., 25:95\u2013169, 1983.","journal-title":"Theor. Comput. Sci."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"W. Charatonik and L. Pacholski. Negative set constraints with equality. In Proc. 9th Symp. Logic in Computer Science, pages 128\u2013136. IEEE, July 1994.","DOI":"10.1109\/LICS.1994.316078"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"W. Charatonik and L. Pacholski. Set constraints with projections are in NEXPTIME. In Proc. 35th Symp. Foundations of Computer Science, pages 642\u2013653. IEEE, November 1994.","DOI":"10.1109\/SFCS.1994.365727"},{"key":"11_CR12","unstructured":"Timothy G. Griffin. An environment for formal systems. Technical Report TR87-846, Cornell University, June 1987."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"R. Gilleron, S. Tison, and M. Tommasi. Solving systems of set constraints using tree automata. In Proc. Symp. Theor. Aspects of Comput. Sci., volume 665, pages 505\u2013514. Springer-Verlag Lect. Notes in Comput. Sci., February 1993.","DOI":"10.1007\/3-540-56503-5_50"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"R. Gilleron, S. Tison, and M. Tommasi. Solving systems of set constraints with negated subset relationships. In Proc. 34th Symp. Foundations of Comput. Sci., pages 372\u2013380. IEEE, November 1993.","DOI":"10.1109\/SFCS.1993.366850"},{"key":"11_CR15","unstructured":"Nevin Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, 1993."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A decision procedure for a class of set constraints. In Proc. 5th Symp. Logic in Computer Science, pages 42\u201351. IEEE, June 1990.","DOI":"10.1109\/LICS.1990.113732"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A finite presentation theorem for approximating logic programs. In Proc. 17th Symp. Principles of Programming Languages, pages 197\u2013209. ACM, January 1990.","DOI":"10.1145\/96709.96729"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"N. D. Jones and S. S. Muchnick. Flow analysis and optimization of LISP-like structures. In Proc. 6th Symp. Principles of Programming Languages, pages 244\u2013256. ACM, January 1979.","DOI":"10.1145\/567752.567776"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"B. J\u00f3nsson and A. Tarski. Boolean algebras with operators. Amer. J. Math., 73:891\u2013939, 1951.","journal-title":"Amer. J. Math."},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"B. J\u00f3nsson and A. Tarski. Boolean algebras with operators. Amer. J. Math., 74:127\u2013162, 1952.","journal-title":"Amer. J. Math."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. Logical aspects of set constraints. In E. B\u00f6rger, Y. Gurevich, and K. Meinke, editors, Proc. 1993 Conf. Computer Science Logic (CSL'93), volume 832 of Lect. Notes in Comput. Sci., pages 175\u2013188. Eur. Assoc. Comput. Sci. Logic, Springer, September 1993.","DOI":"10.1007\/BFb0049332"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. Set constraints and logic programming (abstract). In J.-P. Jouannaud, editor, Proc. First Conf. Constraints in Computational Logics (CCL'94), volume 845 of Lect. Notes in Comput. Sci., pages 302\u2013303. ESPRIT, Springer, September 1994.","DOI":"10.1007\/BFb0016861"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. Rational spaces and set constraints. In Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach, editors, Proc. Sixth Int. Joint Conf. Theory and Practice of Software Develop. (TAPSOFT'95), volume 915 of Lect. Notes in Comput. Sci., pages 42\u201361. Springer, May 1995.","DOI":"10.1007\/3-540-59293-8_186"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach. Efficient inference of partial types. In Proc. 33rd Symp. Found. Comput. Sci., pages 363\u2013371. IEEE, October 1992.","DOI":"10.1109\/SFCS.1992.267754"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach. Efficient recursive subtyping. In Proc. 20th Symp. Princip. Programming Lang., pages 419\u2013428. ACM, January 1993.","DOI":"10.1145\/158511.158700"},{"issue":"2","key":"11_CR26","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/S0022-0000(05)80051-0","volume":"49","author":"D. Kozen","year":"1994","unstructured":"Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach. Efficient inference of partial types. J. Comput. Syst. Sci., 49(2):306\u2013324, October 1994.","journal-title":"J. Comput. Syst. Sci."},{"key":"11_CR27","unstructured":"P. Mishra. Towards a theory of types in PROLOG. In Proc. 1st Symp. Logic Programming, pages 289\u2013298. IEEE, 1984."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"P. Mishra and U. Reddy. Declaration-free type checking. In Proc. 12th Symp. Principles of Programming Languages, pages 7\u201321. ACM, 1985.","DOI":"10.1145\/318593.318603"},{"key":"11_CR29","unstructured":"J. C. Reynolds. Automatic computation of data set definitions. In Information Processing 68, pages 456\u2013461. North-Holland, 1969."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"K. Stef\u00e1nsson. Systems of set constraints with negative constraints are NEXPTIME-complete. In Proc. 9th Symp. Logic in Computer Science, pages 137\u2013141. IEEE, June 1994.","DOI":"10.1109\/LICS.1994.316077"},{"key":"11_CR31","unstructured":"J. Young and P. O'Keefe. Experience with a type evaluator. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 573\u2013581. North-Holland, 1988."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61440-0_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:18:42Z","timestamp":1742599122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61440-0_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614401","9783540685807"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-61440-0_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}