{"id":"https://openalex.org/W1719324582","doi":"https://doi.org/10.3233/fi-1997-29401","title":"SEMANTICS OF NONSEQUENTIAL TREE-BASED COMPUTATION SCHEMES","display_name":"SEMANTICS OF NONSEQUENTIAL TREE-BASED COMPUTATION SCHEMES","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1719324582","doi":"https://doi.org/10.3233/fi-1997-29401","mag":"1719324582"},"language":"en","primary_location":{"id":"doi:10.3233/fi-1997-29401","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1997-29401","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5045244980","display_name":"Andrzej Ehrenfeucht","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Ehrenfeucht","raw_affiliation_strings":["Department of Computer Science, University of Colorado at Boulder, Boulder CO 80309 U.S.A","Department of Computer Science, University of Colorado at Boulder Boulder, CO 80309, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado at Boulder, Boulder CO 80309 U.S.A","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"Department of Computer Science, University of Colorado at Boulder Boulder, CO 80309, U.S.A","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110486000","display_name":"Grzegorz Rozenberg","orcid":null},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I210716285","display_name":"University of Applied Sciences Leiden","ror":"https://ror.org/0093src13","country_code":"NL","type":"education","lineage":["https://openalex.org/I210716285"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"G. Rozenberg","raw_affiliation_strings":["Department of Computer Science, Leiden University, Leiden, P.O. Box 9512. 2300 RA. The Netherlands and Department of Computer Science. University of Colorado at Boulder, Boulder CO 80309 U.S.A","Department of Computer Science, Leiden University, Leiden, P.O. Box 9512. 2300 RA. The Netherlands and Department of Computer Science. University of Colorado at Boulder, Boulder CO 80309 U.S.A.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Leiden University, Leiden, P.O. Box 9512. 2300 RA. The Netherlands and Department of Computer Science. University of Colorado at Boulder, Boulder CO 80309 U.S.A","institution_ids":["https://openalex.org/I121797337","https://openalex.org/I188538660","https://openalex.org/I210716285"]},{"raw_affiliation_string":"Department of Computer Science, Leiden University, Leiden, P.O. Box 9512. 2300 RA. The Netherlands and Department of Computer Science. University of Colorado at Boulder, Boulder CO 80309 U.S.A.#TAB#","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009151151","display_name":"Kai Salomaa","orcid":"https://orcid.org/0000-0003-4582-7477"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"K. Salomaa","raw_affiliation_strings":["Department of Mathematics. University of Turku. FIN-20014 Turku. Finland, e-mail:ksalomaa@ sara.cc.utu.fi"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics. University of Turku. FIN-20014 Turku. Finland, e-mail:ksalomaa@ sara.cc.utu.fi","institution_ids":["https://openalex.org/I155660961"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13451966,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"29","issue":"4","first_page":"305","last_page":"324"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9912999868392944,"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/computer-science","display_name":"Computer science","score":0.6317245364189148},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6093387007713318},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5982163548469543},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5806801915168762},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5679817795753479},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5555824041366577},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.41635000705718994},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4078342616558075},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28366297483444214},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.11010682582855225}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6317245364189148},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6093387007713318},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5982163548469543},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5806801915168762},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5679817795753479},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5555824041366577},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.41635000705718994},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4078342616558075},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28366297483444214},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.11010682582855225}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-1997-29401","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1997-29401","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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":5,"referenced_works":["https://openalex.org/W1595851071","https://openalex.org/W1989971995","https://openalex.org/W2000755915","https://openalex.org/W2034570685","https://openalex.org/W2073812406"],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W3129725704","https://openalex.org/W2072493788","https://openalex.org/W2755363016","https://openalex.org/W2257517306","https://openalex.org/W91938043","https://openalex.org/W1768718906","https://openalex.org/W2245685274","https://openalex.org/W2158105805","https://openalex.org/W3007870257"],"abstract_inverted_index":{"We":[0],"consider":[1],"structured":[2,54,88],"processes":[3],"that":[4,49],"compute":[5],"changes":[6],"of":[7,20,26,60,72],"valuation":[8,52],"functions":[9],"defined":[10],"for":[11,50,83],"functional":[12],"structures,":[13],"where":[14,90],"both":[15],"the":[16,24,40,53,63,70,75,91,96],"domain":[17],"and":[18,36],"range":[19],"each":[21,51],"function":[22,68],"are":[23],"set":[25,71],"sequences":[27],"over":[28],"a":[29,45,57,66,80,87],"carrier":[30],"set.":[31],"By":[32],"introducing":[33],"consistency":[34],"conditions":[35],"certain":[37],"restrictions":[38],"on":[39,69],"underlying":[41],"graph,":[42],"we":[43,78],"obtain":[44,79],"determinism":[46,76],"result":[47,82],"guaranteeing":[48],"process":[55,64,89],"computes":[56],"unique":[58],"change":[59],"context,":[61],"i.e.,":[62],"defines":[65],"partial":[67],"valuations.":[73],"Employing":[74],"theorem":[77],"decomposition":[81],"interpreted":[84],"trees":[85],"using":[86],"edges":[92],"represent":[93],"computations":[94],"in":[95],"subtrees.":[97]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}