{"id":"https://openalex.org/W1525390211","doi":"https://doi.org/10.1007/978-1-4471-3078-9_13","title":"A Simple Decision Method for the Linear Time Mu-calculus","display_name":"A Simple Decision Method for the Linear Time Mu-calculus","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1525390211","doi":"https://doi.org/10.1007/978-1-4471-3078-9_13","mag":"1525390211"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4471-3078-9_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4471-3078-9_13","pdf_url":null,"source":{"id":"https://openalex.org/S4210193518","display_name":"Workshops in computing","issn_l":"1431-1682","issn":["1431-1682"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Workshops in Computing","raw_type":"book-chapter"},"type":"conference-paper","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/A5044916617","display_name":"Roope Kaivola","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Roope Kaivola","raw_affiliation_strings":["Laboratory for Foundations of Computer Science, University of Edinburgh, The King\u2019s Buildings, Edinburgh, EH9 3JZ, UK","Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh, EH9 3JZ, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, University of Edinburgh, The King\u2019s Buildings, Edinburgh, EH9 3JZ, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh, EH9 3JZ, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5044916617"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.3772,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.51654001,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"190","last_page":"204"},"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.9994999766349792,"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.9994999766349792,"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/T11567","display_name":"semigroups and automata theory","score":0.996999979019165,"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.996399998664856,"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/satisfiability","display_name":"Satisfiability","score":0.7514511942863464},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7103028297424316},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6520527601242065},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.6405447721481323},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.5914762020111084},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5184780955314636},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5174254179000854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5160612463951111},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5119692087173462},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4557482898235321},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4335469603538513},{"id":"https://openalex.org/keywords/linear-space","display_name":"Linear space","score":0.4130546748638153},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40610387921333313},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.12502220273017883},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.058041542768478394}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7514511942863464},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7103028297424316},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6520527601242065},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.6405447721481323},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5914762020111084},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5184780955314636},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5174254179000854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5160612463951111},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5119692087173462},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4557482898235321},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4335469603538513},{"id":"https://openalex.org/C176370821","wikidata":"https://www.wikidata.org/wiki/Q1826459","display_name":"Linear space","level":2,"score":0.4130546748638153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40610387921333313},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.12502220273017883},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.058041542768478394},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4471-3078-9_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4471-3078-9_13","pdf_url":null,"source":{"id":"https://openalex.org/S4210193518","display_name":"Workshops in computing","issn_l":"1431-1682","issn":["1431-1682"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Workshops in Computing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1491593738","https://openalex.org/W1503627878","https://openalex.org/W1612453857","https://openalex.org/W1975790950","https://openalex.org/W1982129592","https://openalex.org/W2002128397","https://openalex.org/W2003773532","https://openalex.org/W2015640848","https://openalex.org/W2031592188","https://openalex.org/W2040127143","https://openalex.org/W2083398633","https://openalex.org/W2138856440","https://openalex.org/W2155756511","https://openalex.org/W2176705267","https://openalex.org/W2316437449","https://openalex.org/W2806619258","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1525390211","https://openalex.org/W2075449032","https://openalex.org/W41804490","https://openalex.org/W2144557478","https://openalex.org/W1483438220","https://openalex.org/W2963116775","https://openalex.org/W2101153990","https://openalex.org/W2964047030","https://openalex.org/W4283320172","https://openalex.org/W4304789257"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}