{"id":"https://openalex.org/W1486676288","doi":"https://doi.org/10.1023/a:1008780817617","title":"Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic","display_name":"Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic","publication_year":2000,"publication_date":"2000-08-01","ids":{"openalex":"https://openalex.org/W1486676288","doi":"https://doi.org/10.1023/a:1008780817617","mag":"1486676288"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008780817617","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008780817617","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","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/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Michael Mendler","raw_affiliation_strings":["Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield, S1 4DP, UK","Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield S1 4DP, UK. M.Mendler@dcs.shef.ac.uk#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield S1 4DP, UK. M.Mendler@dcs.shef.ac.uk#TAB#","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5056710976"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":{"value":3490,"currency":"USD","value_usd":3490},"apc_paid":null,"fwci":0.559,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76679565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"1","first_page":"5","last_page":"37"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"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.6399645805358887},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5949969291687012},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5702163577079773},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.5098196864128113},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5027751922607422},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47591882944107056},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.46595439314842224},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.436275839805603},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.4307540953159332},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4244478642940521},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3669126629829407},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30969858169555664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28761813044548035},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2306610643863678},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1751992106437683}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6399645805358887},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5949969291687012},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5702163577079773},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.5098196864128113},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5027751922607422},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47591882944107056},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.46595439314842224},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.436275839805603},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4307540953159332},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4244478642940521},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3669126629829407},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30969858169555664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28761813044548035},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2306610643863678},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1751992106437683},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1008780817617","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008780817617","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W17786439","https://openalex.org/W34278447","https://openalex.org/W112461382","https://openalex.org/W149507330","https://openalex.org/W152362360","https://openalex.org/W159715351","https://openalex.org/W184789923","https://openalex.org/W193675003","https://openalex.org/W202289733","https://openalex.org/W617389031","https://openalex.org/W649438156","https://openalex.org/W1483568252","https://openalex.org/W1501212217","https://openalex.org/W1501402401","https://openalex.org/W1558754093","https://openalex.org/W1568501149","https://openalex.org/W1588869192","https://openalex.org/W1590828018","https://openalex.org/W1633776801","https://openalex.org/W1857899806","https://openalex.org/W1879571390","https://openalex.org/W1967686058","https://openalex.org/W1968663039","https://openalex.org/W1975638748","https://openalex.org/W1977825116","https://openalex.org/W1983253480","https://openalex.org/W1985711558","https://openalex.org/W1991670662","https://openalex.org/W1994143452","https://openalex.org/W1997143185","https://openalex.org/W2006339381","https://openalex.org/W2010065567","https://openalex.org/W2023132547","https://openalex.org/W2033176194","https://openalex.org/W2038569232","https://openalex.org/W2039977878","https://openalex.org/W2051685387","https://openalex.org/W2059454390","https://openalex.org/W2070208107","https://openalex.org/W2095844435","https://openalex.org/W2120688461","https://openalex.org/W2131349720","https://openalex.org/W2131739376","https://openalex.org/W2138042274","https://openalex.org/W2140178233","https://openalex.org/W2151739026","https://openalex.org/W2288034475","https://openalex.org/W2319440520","https://openalex.org/W2535443250","https://openalex.org/W3012301051","https://openalex.org/W3149435168","https://openalex.org/W3152800724","https://openalex.org/W4210997442","https://openalex.org/W4231968646","https://openalex.org/W4242957957","https://openalex.org/W4245561868","https://openalex.org/W4253269419","https://openalex.org/W6607479869","https://openalex.org/W6636935847","https://openalex.org/W6775577609"],"related_works":["https://openalex.org/W2403418519","https://openalex.org/W2897239477","https://openalex.org/W3145584637","https://openalex.org/W2163197731","https://openalex.org/W2055558461","https://openalex.org/W1986625420","https://openalex.org/W2212637516","https://openalex.org/W2979497447","https://openalex.org/W3158093902","https://openalex.org/W1973501176"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}