{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:20:54Z","timestamp":1747592454781,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1990,7]]},"DOI":"10.1145\/96877.96887","type":"proceedings-article","created":{"date-parts":[[2003,11,25]],"date-time":"2003-11-25T17:11:45Z","timestamp":1069780305000},"page":"24-29","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A decidable fragment of the elementary theory of relations and some applications"],"prefix":"10.1145","author":[{"given":"D.","family":"Cantone","sequence":"first","affiliation":[{"name":"Archimedes S.R.L., Catania, Viale Ulisse 12, 95126, Catania, Italy"}]},{"given":"V.","family":"Cutello","sequence":"additional","affiliation":[{"name":"Courant Institute New York University and Dipartimento di Matematica, Universit\u00e0 di Catania, Italy"}]}],"member":"320","published-online":{"date-parts":[[1990,7]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/574928"},{"key":"e_1_3_2_1_2_2","volume-title":"Theorie des graphs et ses applications","author":"Berge C.","year":"1958","unstructured":"C. Berge . Theorie des graphs et ses applications . Dunod , Paris , 1958 . C. Berge. Theorie des graphs et ses applications. Dunod, Paris, 1958."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160340203"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9967-7","volume-title":"Graph Theory: an introductory ourse","author":"Bollobas B.","year":"1979","unstructured":"B. Bollobas . Graph Theory: an introductory ourse . Springer Verlag , 1979 . B. Bollobas. Graph Theory: an introductory ourse. Springer Verlag, 1979."},{"key":"e_1_3_2_1_5_2","volume-title":"Proceedings of Logic and Computer Science Workshop. Lecture notes in Computer Science","author":"Cantone D.","year":"1989","unstructured":"D. Cantone , V. Cutello , and A. Policriti . Settheoretic reductions of Hilbert's tenth problem . In Proceedings of Logic and Computer Science Workshop. Lecture notes in Computer Science , 1989 . To appear. D. Cantone, V. Cutello, and A. Policriti. Settheoretic reductions of Hilbert's tenth problem. In Proceedings of Logic and Computer Science Workshop. Lecture notes in Computer Science, 1989. To appear."},{"key":"e_1_3_2_1_6_2","volume-title":"Computable set theory","author":"Cantone D.","year":"1989","unstructured":"D. Cantone , A. Ferro , and E.G. Omodeo . Computable set theory . Oxford University Press , Oxford , 1989 . D. Cantone, A. Ferro, and E.G. Omodeo. Computable set theory. Oxford University Press, Oxford, 1989."},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(87)90001-8"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90032-X"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803397"},{"key":"e_1_3_2_1_10_2","volume-title":"Data Base Systems","author":"Codd E.F.","year":"1972","unstructured":"E.F. Codd . Relational completeness of data base sublanguages . In Rustin, editor, Data Base Systems , Englewood Cliffs, N.J. , 1972 . Prentice-Hall . E.F. Codd. Relational completeness of data base sublanguages. In Rustin, editor, Data Base Systems, Englewood Cliffs, N.J., 1972. Prentice-Hall."},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00245817"},{"key":"e_1_3_2_1_12_2","volume-title":"Journal of Auiomated Reasoning","author":"Cantone D.","year":"1989","unstructured":"D. Cantone and J.T. Schwartz . Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs . Journal of Auiomated Reasoning , 1989 . To appear. D. Cantone and J.T. Schwartz. Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs. Journal of Auiomated Reasoning, 1989. To appear."},{"key":"e_1_3_2_1_13_2","volume-title":"The decision problem. Solvable classes of quantificational formulas","author":"Dreben B.","year":"1979","unstructured":"B. Dreben and W.D. Goldfarb . The decision problem. Solvable classes of quantificational formulas . Addison-Wesley Publ . Comp. Inc., Reading, Massachusetts, 1979 . B. Dreben and W.D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Addison-Wesley Publ. Comp. Inc., Reading, Massachusetts, 1979."},{"key":"e_1_3_2_1_14_2","first-page":"130","article-title":"An efficient validity test for formulae in extensional twolevel syllogistic. Le Matemaiiche (Caiania","volume":"33","author":"Ferro A.","year":"1978","unstructured":"A. Ferro and E.G. Omodeo . An efficient validity test for formulae in extensional twolevel syllogistic. Le Matemaiiche (Caiania , Italy) , 33 : 130 - 137 , 1978 . A. Ferro and E.G. Omodeo. An efficient validity test for formulae in extensional twolevel syllogistic. Le Matemaiiche (Caiania, Italy), 33:130-137, 1978.","journal-title":"Italy)"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1984-15207-8"},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/648228.752153"},{"issue":"2","key":"e_1_3_2_1_17_2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.3233\/FI-1989-12204","article-title":"Decidability of formulas in graph theory","volume":"12","author":"Moser L.E.","year":"1989","unstructured":"L.E. Moser . Decidability of formulas in graph theory . Fundamenta Informalicae , 12 ( 2 ): 163 - 180 , 1989 . L.E. Moser. Decidability of formulas in graph theory. Fundamenta Informalicae, 12(2):163- 180, 1989.","journal-title":"Fundamenta Informalicae"},{"key":"e_1_3_2_1_18_2","volume-title":"Decision procedures for elementary sublanguages of set theory XIII. Model graphs, reflection and decidability. Journal o\/Automated Reasoning","author":"Parlamento F.","year":"1989","unstructured":"F. Parlamento and A. Policriti . Decision procedures for elementary sublanguages of set theory XIII. Model graphs, reflection and decidability. Journal o\/Automated Reasoning , 1989 . To appear. F. Parlamento and A. Policriti. Decision procedures for elementary sublanguages of set theory XIII. Model graphs, reflection and decidability. Journal o\/Automated Reasoning, 1989. To appear."},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273710"},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with sets: An introduction to SETL","author":"Schwartz J.T.","year":"1986","unstructured":"J.T. Schwartz , R.B.K. Dewar , E. Dubinsky , and E. Schonberg . Programming with sets: An introduction to SETL . Springer-Verlag , New York , 1986 . J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with sets: An introduction to SETL. Springer-Verlag, New York, 1986."},{"key":"e_1_3_2_1_21_2","volume-title":"Axiomatic set theory","author":"Suppes P.","year":"1972","unstructured":"P. Suppes . Axiomatic set theory . Dover Publications, Inc , New York , 1972 . P. Suppes. Axiomatic set theory. Dover Publications, Inc, New York, 1972."},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"issue":"3","key":"e_1_3_2_1_23_2","first-page":"188","article-title":"Some metalogical results concerning the calculus of relations","volume":"18","author":"Tarski A.","year":"1953","unstructured":"A. Tarski . Some metalogical results concerning the calculus of relations . J. Symb. Logic , 18 ( 3 ): 188 - 189 , 1953 . A. Tarski. Some metalogical results concerning the calculus of relations. J. Symb. Logic, 18(3):188-189, 1953.","journal-title":"J. Symb. Logic"},{"key":"e_1_3_2_1_24_2","volume-title":"Volumes 1,2","author":"Ullman J.D.","year":"1988","unstructured":"J.D. Ullman . Principles of database and Knowledge-base systems , Volumes 1,2 . Computer Science Press , Rockville, Maryland , 1988 . J.D. Ullman. Principles of database and Knowledge-base systems, Volumes 1,2. Computer Science Press, Rockville, Maryland, 1988."}],"event":{"name":"ISSAC'90: Int'l Symposium on Symbolic Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Tokyo Japan","acronym":"ISSAC'90"},"container-title":["Proceedings of the international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/96877.96887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T06:34:18Z","timestamp":1673418858000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/96877.96887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":24,"alternative-id":["10.1145\/96877.96887","10.1145\/96877"],"URL":"https:\/\/doi.org\/10.1145\/96877.96887","relation":{},"subject":[],"published":{"date-parts":[[1990,7]]},"assertion":[{"value":"1990-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}