{"id":"https://openalex.org/W2050677448","doi":"https://doi.org/10.1016/0304-3975(90)90064-o","title":"A rationale for conditional equational programming","display_name":"A rationale for conditional equational programming","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2050677448","doi":"https://doi.org/10.1016/0304-3975(90)90064-o","mag":"2050677448"},"language":"en","primary_location":{"id":"doi:10.1016/0304-3975(90)90064-o","doi":"https://doi.org/10.1016/0304-3975(90)90064-o","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(90)90064-o","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-b","cwts-core","dongbi-c","jufo-2","ki-jl-2","norway-2","poland-100","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1016/0304-3975(90)90064-o","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039993352","display_name":"Nachum Dershowitz","orcid":"https://orcid.org/0000-0003-0363-2735","observed_orcids":["https://orcid.org/0000-0003-0363-2735"]},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nachum Dershowitz","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana, IL 61801, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana, IL 61801, U.S.A","institution_ids":["https://openalex.org/I157725225","https://openalex.org/I2801919071"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102797548","display_name":"Mitsuhiro Okada","orcid":"https://orcid.org/0000-0001-8869-0760","observed_orcids":["https://orcid.org/0000-0001-8869-0760"]},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mitsuhiro Okada","raw_affiliation_strings":["Department of Computer Science, Concordia University, Montreal, Quebec H3G 1M8, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Quebec H3G 1M8, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2880,"currency":"USD","value_usd":2880},"apc_paid":null,"fwci":7.2281,"has_fulltext":false,"cited_by_count":87,"citation_normalized_percentile":{"value":0.97090222,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"75","issue":"1-2","first_page":"111","last_page":"138"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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":1.0,"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":9.999999747378752e-05,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.0,"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/conditional-rewriting","display_name":"conditional rewriting","score":0.9279999732971191},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"existential quantification","score":0.5519999861717224},{"id":"https://openalex.org/keywords/built-in-predicates","display_name":"built-in predicates","score":0.9629999995231628},{"id":"https://openalex.org/keywords/termination","display_name":"termination","score":0.6990000009536743},{"id":"https://openalex.org/keywords/higher-order-terms","display_name":"higher-order terms","score":0.8519999980926514},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.6309999823570251},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.8960000276565552}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9054297208786011},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.8470371961593628},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6950599551200867},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5903198719024658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5706603527069092},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5557498335838318},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.537594735622406},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5084656476974487},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48268723487854004},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4738372266292572},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.46612003445625305},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4544813930988312},{"id":"https://openalex.org/C154564781","wikidata":"https://www.wikidata.org/wiki/Q5384236","display_name":"Equational logic","level":3,"score":0.43889063596725464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42581063508987427},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3818938136100769},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1410721242427826},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0304-3975(90)90064-o","doi":"https://doi.org/10.1016/0304-3975(90)90064-o","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(90)90064-o","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-b","cwts-core","dongbi-c","jufo-2","ki-jl-2","norway-2","poland-100","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/0304-3975(90)90064-o","doi":"https://doi.org/10.1016/0304-3975(90)90064-o","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(90)90064-o","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-b","cwts-core","dongbi-c","jufo-2","ki-jl-2","norway-2","poland-100","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G197933484","display_name":null,"funder_award_id":"OGP36663","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G3537206310","display_name":null,"funder_award_id":"410-88-884","funder_id":"https://openalex.org/F4320321745","funder_display_name":"Fonds pour la Formation de Chercheurs et l'Aide \u00e0 la Recherche"},{"id":"https://openalex.org/G5145636598","display_name":"Term-rewriting Systems","funder_award_id":"8513417","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5233273601","display_name":null,"funder_award_id":"ICR92599","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6195885967","display_name":null,"funder_award_id":"NC0025","funder_id":"https://openalex.org/F4320321745","funder_display_name":"Fonds pour la Formation de Chercheurs et l'Aide \u00e0 la Recherche"},{"id":"https://openalex.org/G7128682995","display_name":null,"funder_award_id":"EQ41840","funder_id":"https://openalex.org/F4320321745","funder_display_name":"Fonds pour la Formation de Chercheurs et l'Aide \u00e0 la Recherche"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321745","display_name":"Fonds pour la Formation de Chercheurs et l'Aide \u00e0 la Recherche","ror":"https://ror.org/00b9f9778"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W19647984","https://openalex.org/W33901518","https://openalex.org/W100098737","https://openalex.org/W111955572","https://openalex.org/W121595607","https://openalex.org/W126161224","https://openalex.org/W134953795","https://openalex.org/W141756365","https://openalex.org/W155273981","https://openalex.org/W1017874832","https://openalex.org/W1489240819","https://openalex.org/W1498013303","https://openalex.org/W1500817711","https://openalex.org/W1506149977","https://openalex.org/W1513315908","https://openalex.org/W1513590676","https://openalex.org/W1543822988","https://openalex.org/W1557413548","https://openalex.org/W1596413407","https://openalex.org/W1598625331","https://openalex.org/W1607552714","https://openalex.org/W1762308449","https://openalex.org/W1968386045","https://openalex.org/W1971714145","https://openalex.org/W1978930043","https://openalex.org/W1979101142","https://openalex.org/W1994009914","https://openalex.org/W2008851176","https://openalex.org/W2013076094","https://openalex.org/W2014030742","https://openalex.org/W2014238166","https://openalex.org/W2022060249","https://openalex.org/W2034034435","https://openalex.org/W2048748607","https://openalex.org/W2056716318","https://openalex.org/W2064236106","https://openalex.org/W2091210577","https://openalex.org/W2095335078","https://openalex.org/W2120959311","https://openalex.org/W2123757846","https://openalex.org/W2132750992","https://openalex.org/W2149837936","https://openalex.org/W2157928652","https://openalex.org/W2166060774","https://openalex.org/W2167316540","https://openalex.org/W2211325406","https://openalex.org/W2288195908","https://openalex.org/W2495327222","https://openalex.org/W2499474130","https://openalex.org/W2515665553","https://openalex.org/W2612793397","https://openalex.org/W2912818154","https://openalex.org/W2913078623","https://openalex.org/W2914556199","https://openalex.org/W2914832961","https://openalex.org/W2991367981","https://openalex.org/W3202953747","https://openalex.org/W4239625892","https://openalex.org/W4248547811","https://openalex.org/W6629319672","https://openalex.org/W6629928166","https://openalex.org/W6630693218","https://openalex.org/W6637937552","https://openalex.org/W6642673056"],"related_works":["https://openalex.org/W2084027431","https://openalex.org/W2461208021","https://openalex.org/W1996999450","https://openalex.org/W159798971","https://openalex.org/W7101170070","https://openalex.org/W2135884324","https://openalex.org/W6891783017","https://openalex.org/W1489240819","https://openalex.org/W605370","https://openalex.org/W1790940744"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}