{"id":"https://openalex.org/W2000924927","doi":"https://doi.org/10.1016/s0019-9958(82)90786-0","title":"On the equivalence problem for attribute systems","display_name":"On the equivalence problem for attribute systems","publication_year":1982,"publication_date":"1982-03-01","ids":{"openalex":"https://openalex.org/W2000924927","doi":"https://doi.org/10.1016/s0019-9958(82)90786-0","mag":"2000924927"},"language":"en","primary_location":{"id":"doi:10.1016/s0019-9958(82)90786-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0019-9958(82)90786-0","pdf_url":null,"source":{"id":"https://openalex.org/S4210192454","display_name":"Information and Control","issn_l":"0019-9958","issn":["0019-9958","1878-2981"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029244225","display_name":"Bruno Courcelle","orcid":"https://orcid.org/0000-0002-5545-8970"},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210166017","display_name":"Institut de Math\u00e9matiques de Bordeaux","ror":"https://ror.org/05m3r1b84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I15057530","https://openalex.org/I4210141950","https://openalex.org/I4210160189","https://openalex.org/I4210166017"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Bruno Courcelle","raw_affiliation_strings":["Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration 33405 Talence, France","Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration, 33405 Talence FRANCE"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration 33405 Talence, France","institution_ids":["https://openalex.org/I4210166017","https://openalex.org/I15057530"]},{"raw_affiliation_string":"Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration, 33405 Talence FRANCE","institution_ids":["https://openalex.org/I15057530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020564245","display_name":"Paul Franchi-Zannettacci","orcid":null},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210166017","display_name":"Institut de Math\u00e9matiques de Bordeaux","ror":"https://ror.org/05m3r1b84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I15057530","https://openalex.org/I4210141950","https://openalex.org/I4210160189","https://openalex.org/I4210166017"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Paul Franchi-Zannettacci","raw_affiliation_strings":["Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration 33405 Talence, France","Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration, 33405 Talence FRANCE"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration 33405 Talence, France","institution_ids":["https://openalex.org/I4210166017","https://openalex.org/I15057530"]},{"raw_affiliation_string":"Universit\u00e9 de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatique, 351, Cours de la Lib\u00e9ration, 33405 Talence FRANCE","institution_ids":["https://openalex.org/I15057530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029244225"],"corresponding_institution_ids":["https://openalex.org/I15057530","https://openalex.org/I4210166017"],"apc_list":null,"apc_paid":null,"fwci":2.9479,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.90779956,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"52","issue":"3","first_page":"275","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.8326743841171265},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5545951128005981},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36483150720596313},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.338774710893631},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32399243116378784},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27927935123443604}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.8326743841171265},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5545951128005981},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36483150720596313},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.338774710893631},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32399243116378784},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27927935123443604}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0019-9958(82)90786-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0019-9958(82)90786-0","pdf_url":null,"source":{"id":"https://openalex.org/S4210192454","display_name":"Information and Control","issn_l":"0019-9958","issn":["0019-9958","1878-2981"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1484394245","https://openalex.org/W1594339521","https://openalex.org/W1964071625","https://openalex.org/W1977434346","https://openalex.org/W1979101142","https://openalex.org/W1981992674","https://openalex.org/W1988436966","https://openalex.org/W2011998974","https://openalex.org/W2024987067","https://openalex.org/W2065109782","https://openalex.org/W2092765951","https://openalex.org/W2113722134","https://openalex.org/W4210277633","https://openalex.org/W6635492335","https://openalex.org/W6837629609"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}