{"id":"https://openalex.org/W120057786","doi":"https://doi.org/10.3217/jucs-014-06-0801","title":"The Computable Multi-Functions on Multi-represented Sets are Closed under Programming","display_name":"The Computable Multi-Functions on Multi-represented Sets are Closed under Programming","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W120057786","doi":"https://doi.org/10.3217/jucs-014-06-0801","mag":"120057786"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7000170","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000170","pdf_url":"https://zenodo.org/record/7000170","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 14((6)) 801-844","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7000170","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050312341","display_name":"Klaus Weihrauch","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Klaus Weihrauch","raw_affiliation_strings":["University of Hagen"],"affiliations":[{"raw_affiliation_string":"University of Hagen","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050312341"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":0.2888,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":{"value":0.59377712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"14","issue":null,"first_page":"801","last_page":"844"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9943000078201294,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9926000237464905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.830691933631897},{"id":"https://openalex.org/keywords/flowchart","display_name":"Flowchart","score":0.7835357785224915},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.755875825881958},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.7267670035362244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6732707619667053},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5977592468261719},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.45806601643562317},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4313773810863495},{"id":"https://openalex.org/keywords/exponentiation","display_name":"Exponentiation","score":0.41855162382125854},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.376007616519928},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31780266761779785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3126857876777649},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29814183712005615},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15406128764152527}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.830691933631897},{"id":"https://openalex.org/C72041958","wikidata":"https://www.wikidata.org/wiki/Q185092","display_name":"Flowchart","level":2,"score":0.7835357785224915},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.755875825881958},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.7267670035362244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6732707619667053},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5977592468261719},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.45806601643562317},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4313773810863495},{"id":"https://openalex.org/C81539297","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Exponentiation","level":2,"score":0.41855162382125854},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.376007616519928},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31780266761779785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3126857876777649},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29814183712005615},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15406128764152527},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:7000170","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000170","pdf_url":"https://zenodo.org/record/7000170","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 14((6)) 801-844","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-014-06-0801","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-014-06-0801","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:120057786","is_oa":false,"landing_page_url":"http://www.jucs.org/jucs_14_6/the_computable_multi_functions/jucs_14_06_0801_0844_weihrauch.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7000170","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000170","pdf_url":"https://zenodo.org/record/7000170","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 14((6)) 801-844","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W120057786.pdf","grobid_xml":"https://content.openalex.org/works/W120057786.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W40251683","https://openalex.org/W220096824","https://openalex.org/W1512502927","https://openalex.org/W1550331971","https://openalex.org/W1561360105","https://openalex.org/W1578854475","https://openalex.org/W1602845793","https://openalex.org/W1974032946","https://openalex.org/W1975561883","https://openalex.org/W1975886595","https://openalex.org/W1990962533","https://openalex.org/W2002089154","https://openalex.org/W2047923539","https://openalex.org/W2048858227","https://openalex.org/W2058108130","https://openalex.org/W2071846104","https://openalex.org/W2081739551","https://openalex.org/W2087950601","https://openalex.org/W2094663018","https://openalex.org/W2111203331","https://openalex.org/W2113700085","https://openalex.org/W2117832390","https://openalex.org/W2126160338","https://openalex.org/W2132370466","https://openalex.org/W2142777169","https://openalex.org/W2148084455","https://openalex.org/W2149945624","https://openalex.org/W2152101460","https://openalex.org/W2157014216","https://openalex.org/W2166644419","https://openalex.org/W2168229531","https://openalex.org/W2176308528","https://openalex.org/W2322118446","https://openalex.org/W2530006810","https://openalex.org/W2611511037","https://openalex.org/W2911572548","https://openalex.org/W2912268883"],"related_works":["https://openalex.org/W2611511037","https://openalex.org/W1958506772","https://openalex.org/W191595573","https://openalex.org/W2322118446","https://openalex.org/W1509579779","https://openalex.org/W2168229531","https://openalex.org/W2911572548","https://openalex.org/W2027931514","https://openalex.org/W1975886595","https://openalex.org/W2117033549","https://openalex.org/W2077769760","https://openalex.org/W2071065290","https://openalex.org/W1990962533","https://openalex.org/W1545819195","https://openalex.org/W153068418","https://openalex.org/W1493909595","https://openalex.org/W2738940941","https://openalex.org/W2158020605","https://openalex.org/W1154909954","https://openalex.org/W1755622287"],"abstract_inverted_index":{"In":[0,193],"the":[1,61,96,118,149,161,165,195,212],"representation":[2],"approach":[3],"to":[4,66,210,220,225,244],"computable":[5,55,77,100,111,119,191,196,265],"analysis":[6,78],"(TTE)":[7],"[Grz55,":[8],"KW85,":[9],"Wei00],":[10],"abstract":[11,43,176,230],"data":[12,44,174,231],"like":[13,232],"rational":[14],"numbers,":[15,17],"real":[16,22,233,237],"compact":[18],"sets":[19,177,200,248],"or":[20,28,235],"continuous":[21,236],"functions":[23,120,157],"are":[24,72,123,201],"represented":[25],"by":[26,53,107,144,152,160,164],"finite":[27],"infinite":[29],"sequences":[30],"(\u03a3*,":[31],"\u03a3\u03c9)":[32],"of":[33,63,86,142,190,214,229,254],"symbols,":[34],"which":[35,71,179],"serve":[36],"as":[37],"concrete":[38],"names.":[39,58],"A":[40],"function":[41,56,101,112,150,162],"on":[42,57,102,113,121,178,198,246],"is":[45,60,158,181],"called":[46],"computable,":[47],"if":[48],"it":[49],"can":[50,104,134,183],"be":[51,105,135,184],"realized":[52,156,159],"a":[54,83,108,153,172,221],"It":[59],"purpose":[62],"this":[64],"article":[65],"justify":[67],"and":[68,110,139,216,224,249,260],"generalize":[69,241],"methods":[70],"already":[73],"used":[74,185],"informally":[75],"in":[76,218,227,264],"for":[79,186],"proving":[80],"computability.":[81],"As":[82,171],"simple":[84],"formalization":[85],"informal":[87],"programming":[88,219],"we":[89,115,240],"consider":[90],"flowcharts":[91,189],"with":[92],"indirect":[93],"addressing.":[94],"Using":[95],"fact":[97],"that":[98,117,148],"every":[99],"\u03a3\u03c9":[103,122],"generated":[106],"monotone":[109],"\u03a3*":[114],"prove":[116,147],"closed":[124,202],"under":[125,203],"flowchart":[126,154,167,204],"programming.":[127,205],"We":[128,146],"introduce":[129],"generalized":[130],"multi-representations,":[131],"where":[132],"names":[133],"from":[136,175],"general":[137],"sets,":[138],"define":[140],"realization":[141],"multi-functions":[143,197,245],"multi-functions.":[145],"computed":[151,163],"over":[155,168],"corresponding":[166],"realizing":[169,188],"functions.":[170,192,238],"consequence,":[173],"computability":[180],"well-understood":[182],"writing":[187],"particular,":[194],"multi-represented":[199,247],"These":[206],"results":[207,257],"allow":[208,258],"us":[209],"avoid":[211],"\"use":[213],"0s":[215],"1s\"":[217],"large":[222],"extent":[223],"think":[226],"terms":[228],"numbers":[234],"Finally":[239],"effective":[242],"exponentiation":[243],"study":[250],"two":[251],"different":[252],"kinds":[253],"\u03bb-abstraction.":[255],"The":[256],"simpler":[259],"more":[261],"formalized":[262],"proofs":[263],"analysis.":[266]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":5}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}