{"id":"https://openalex.org/W2135984026","doi":"https://doi.org/10.1007/978-3-642-14888-0_21","title":"Two Kinds of Procedural Semantics for Privative Modification","display_name":"Two Kinds of Procedural Semantics for Privative Modification","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2135984026","doi":"https://doi.org/10.1007/978-3-642-14888-0_21","mag":"2135984026"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-14888-0_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-14888-0_21","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://biblio.ugent.be/publication/1047303","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077895764","display_name":"Giuseppe Primiero","orcid":"https://orcid.org/0000-0003-3264-7100"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Giuseppe Primiero","raw_affiliation_strings":["Centre for Logic and Philosophy of Science, Ghent University, Belgium"],"affiliations":[{"raw_affiliation_string":"Centre for Logic and Philosophy of Science, Ghent University, Belgium","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070531112","display_name":"Bj\u00f8rn Jespersen","orcid":"https://orcid.org/0000-0003-1747-9428"},"institutions":[{"id":"https://openalex.org/I142208455","display_name":"VSB - Technical University of Ostrava","ror":"https://ror.org/05x8mcb75","country_code":"CZ","type":"education","lineage":["https://openalex.org/I142208455"]},{"id":"https://openalex.org/I4210088627","display_name":"Institute of Philosophy","ror":"https://ror.org/005gbx671","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210088627","https://openalex.org/I4210120228"]},{"id":"https://openalex.org/I4210107955","display_name":"Czech Academy of Sciences, Institute of Philosophy","ror":"https://ror.org/01hyg6578","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210107955"]}],"countries":["CZ","RU"],"is_corresponding":false,"raw_author_name":"Bj\u00f8rn Jespersen","raw_affiliation_strings":["Department of Computer Science, Technical University of Ostrava;, Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic","Department of Computer Science, Technical University of Ostrava",", Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Ostrava;, Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic","institution_ids":["https://openalex.org/I4210088627"]},{"raw_affiliation_string":"Department of Computer Science, Technical University of Ostrava","institution_ids":["https://openalex.org/I142208455"]},{"raw_affiliation_string":", Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic","institution_ids":["https://openalex.org/I4210107955"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077895764"],"corresponding_institution_ids":["https://openalex.org/I32597200"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4167,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83611451,"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":"252","last_page":"271"},"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.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"}},"topics":[{"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.9972000122070312,"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.9732999801635742,"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/sketch","display_name":"Sketch","score":0.6279258131980896},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6242642402648926},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6129363775253296},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5546582341194153},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.47161155939102173},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37873709201812744},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21695750951766968},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.07231670618057251}],"concepts":[{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.6279258131980896},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6242642402648926},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6129363775253296},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5546582341194153},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.47161155939102173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37873709201812744},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21695750951766968},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.07231670618057251}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-14888-0_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-14888-0_21","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"},{"id":"pmh:oai:archive.ugent.be:1047303","is_oa":true,"landing_page_url":"https://biblio.ugent.be/publication/1047303","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISBN: 9783642148873","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:archive.ugent.be:1047303","is_oa":true,"landing_page_url":"https://biblio.ugent.be/publication/1047303","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISBN: 9783642148873","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W8403452","https://openalex.org/W145380500","https://openalex.org/W188058192","https://openalex.org/W569543113","https://openalex.org/W614564626","https://openalex.org/W1497721891","https://openalex.org/W1510718138","https://openalex.org/W1511133369","https://openalex.org/W1565235297","https://openalex.org/W1592387182","https://openalex.org/W1655669983","https://openalex.org/W1781592523","https://openalex.org/W1964722522","https://openalex.org/W2060011692","https://openalex.org/W2078334802","https://openalex.org/W2105223068","https://openalex.org/W2117604333","https://openalex.org/W2124798629","https://openalex.org/W2149276801","https://openalex.org/W2149587211","https://openalex.org/W2163980057","https://openalex.org/W2336229620","https://openalex.org/W2356695058","https://openalex.org/W3140283761"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W2373478030","https://openalex.org/W2378679551","https://openalex.org/W3149739944","https://openalex.org/W2392363776","https://openalex.org/W2063051341","https://openalex.org/W2591066345","https://openalex.org/W1494563618","https://openalex.org/W2788308474"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-03T22:45:19.894376","created_date":"2025-10-10T00:00:00"}