{"id":"https://openalex.org/W2185203473","doi":"https://doi.org/10.1007/978-3-642-39698-4_10","title":"Some Fixed-Point Issues in PPTL","display_name":"Some Fixed-Point Issues in PPTL","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2185203473","doi":"https://doi.org/10.1007/978-3-642-39698-4_10","mag":"2185203473"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-39698-4_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39698-4_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","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/A5101884705","display_name":"Zhenhua Duan","orcid":"https://orcid.org/0000-0002-2116-259X"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenhua Duan","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101969552","display_name":"Qian Ma","orcid":"https://orcid.org/0000-0001-9499-3194"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qian Ma","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003990194","display_name":"Cong Tian","orcid":"https://orcid.org/0000-0002-5429-4580"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cong Tian","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100331270","display_name":"Nan Zhang","orcid":"https://orcid.org/0000-0002-3870-2505"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Nan Zhang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, P.O. Box 177, Xi'an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"151","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9957000017166138,"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/equivalence","display_name":"Equivalence (formal languages)","score":0.5603705644607544},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5459354519844055},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5446462631225586},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5126423239707947},{"id":"https://openalex.org/keywords/index","display_name":"Index (typography)","score":0.4795384407043457},{"id":"https://openalex.org/keywords/wedge","display_name":"Wedge (geometry)","score":0.47738736867904663},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.45354288816452026},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4327489733695984},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4297567903995514},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4199081063270569},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41063928604125977},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3803248405456543},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.332605242729187},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13449472188949585},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10396000742912292},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08671677112579346},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08323502540588379}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5603705644607544},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5459354519844055},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5446462631225586},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5126423239707947},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.4795384407043457},{"id":"https://openalex.org/C47422493","wikidata":"https://www.wikidata.org/wiki/Q2755127","display_name":"Wedge (geometry)","level":2,"score":0.47738736867904663},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.45354288816452026},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4327489733695984},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4297567903995514},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4199081063270569},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41063928604125977},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3803248405456543},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.332605242729187},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13449472188949585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10396000742912292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08671677112579346},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08323502540588379}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-39698-4_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39698-4_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1483150777","https://openalex.org/W1497559908","https://openalex.org/W1506588809","https://openalex.org/W1511668635","https://openalex.org/W1538739512","https://openalex.org/W1590315663","https://openalex.org/W1594381772","https://openalex.org/W1606397589","https://openalex.org/W2021917262","https://openalex.org/W2023808162","https://openalex.org/W2046213250","https://openalex.org/W2094571962","https://openalex.org/W2111706174","https://openalex.org/W2402038485","https://openalex.org/W2504648778","https://openalex.org/W2913459036","https://openalex.org/W2949436104","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4234924236"],"related_works":["https://openalex.org/W2017385525","https://openalex.org/W2042698599","https://openalex.org/W1999187231","https://openalex.org/W4248634293","https://openalex.org/W2351605363","https://openalex.org/W2090638913","https://openalex.org/W2358303194","https://openalex.org/W2089136900","https://openalex.org/W2072315057","https://openalex.org/W2387105288"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}