{"id":"https://openalex.org/W2020780801","doi":"https://doi.org/10.1093/comjnl/bxm031","title":"On the Behavioral Equivalence Between k-data Structures","display_name":"On the Behavioral Equivalence Between k-data Structures","publication_year":2007,"publication_date":"2007-08-23","ids":{"openalex":"https://openalex.org/W2020780801","doi":"https://doi.org/10.1093/comjnl/bxm031","mag":"2020780801"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxm031","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxm031","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","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/A5100617742","display_name":"Manuel A. Martins","orcid":"https://orcid.org/0000-0002-5109-8066"},"institutions":[{"id":"https://openalex.org/I60858718","display_name":"University of Aveiro","ror":"https://ror.org/00nt41z93","country_code":"PT","type":"education","lineage":["https://openalex.org/I60858718"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"M. A. Martins","raw_affiliation_strings":["Department of Mathematics, University of Aveiro, 3810\u2010193 Aveiro, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Aveiro, 3810\u2010193 Aveiro, Portugal","institution_ids":["https://openalex.org/I60858718"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100617742"],"corresponding_institution_ids":["https://openalex.org/I60858718"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":0.3682,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.62734749,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"51","issue":"2","first_page":"181","last_page":"191"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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.5997390151023865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.575381338596344},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2614399194717407},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16110047698020935}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5997390151023865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.575381338596344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2614399194717407},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16110047698020935}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1093/comjnl/bxm031","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxm031","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.562.1156","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.562.1156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://comjnl.oxfordjournals.org/content/51/2/181.full.pdf","raw_type":"text"},{"id":"pmh:oai:ria.ua.pt:10773/6931","is_oa":false,"landing_page_url":"http://hdl.handle.net/10773/6931","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1120761376","https://openalex.org/W1499715249","https://openalex.org/W1586382855","https://openalex.org/W1980425977","https://openalex.org/W1984676647","https://openalex.org/W2002089154","https://openalex.org/W2003250112","https://openalex.org/W2004756043","https://openalex.org/W2006385373","https://openalex.org/W2027949780","https://openalex.org/W2033809864","https://openalex.org/W2065657484","https://openalex.org/W2073899607","https://openalex.org/W2142909704","https://openalex.org/W2154149088","https://openalex.org/W2253467077"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Throughout":[0],"this":[1],"paper":[2],"we":[3],"consider":[4],"data":[5],"structures":[6],"as":[7,81],"sorted":[8],"algebras":[9],"endowed":[10],"with":[11],"a":[12,82],"designated":[13],"subset":[14],"of":[15,23,28,34,41,84],"their":[16],"visible":[17],"part,":[18],"which":[19,58,77],"represents":[20],"the":[21,32,35,45,51,61,74,85],"set":[22],"truth":[24],"values.":[25],"The":[26],"originality":[27],"our":[29],"approach":[30],"is":[31,71],"application":[33],"standard":[36],"abstract":[37],"algebraic":[38],"logic":[39],"theory":[40],"deductive":[42],"systems":[43],"to":[44,67],"hidden":[46],"heterogeneous":[47],"case.":[48],"We":[49],"generalize":[50],"well-known":[52],"equivalence":[53,63],"relation":[54,64],"between":[55,65],"finite":[56],"automata,":[57],"relies":[59],"on":[60],"Nerode":[62,86],"states,":[66],"k-data":[68],"structures.":[69],"This":[70],"obtained":[72],"via":[73],"Leibniz":[75],"congruence,":[76],"can":[78],"be":[79],"viewed":[80],"generalization":[83],"equi-valence":[87],"in":[88],"automata":[89],"theory.":[90]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}