{"id":"https://openalex.org/W2004965270","doi":"https://doi.org/10.1007/s00224-012-9398-z","title":"Programs, Proofs, Processes","display_name":"Programs, Proofs, Processes","publication_year":2012,"publication_date":"2012-04-18","ids":{"openalex":"https://openalex.org/W2004965270","doi":"https://doi.org/10.1007/s00224-012-9398-z","mag":"2004965270"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-012-9398-z","doi":"https://doi.org/10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"0025-5661","issn":["0025-5661","1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-c","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"volume":null,"type":"editorial","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043193622","display_name":"Fernando Ferreira","orcid":"https://orcid.org/0000-0002-8693-7210","observed_orcids":["https://orcid.org/0000-0002-8693-7210"]},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Fernando Ferreira","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal","Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065186485","display_name":"Benedikt L\u00f6we","orcid":"https://orcid.org/0000-0003-2941-2941","observed_orcids":["https://orcid.org/0000-0003-2941-2941"]},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["DE","NL"],"is_corresponding":true,"raw_author_name":"Benedikt L\u00f6we","raw_affiliation_strings":["Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","Department Mathematik, Universit\u00e4t Hamburg, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department Mathematik, Universit\u00e4t Hamburg, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075374500","display_name":"Elvira Mayordomo","orcid":"https://orcid.org/0000-0002-9109-5337","observed_orcids":["https://orcid.org/0000-0002-9109-5337"]},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]},{"id":"https://openalex.org/I4405260899","display_name":"Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n","ror":"https://ror.org/04eqgej32","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318","https://openalex.org/I4405260899"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Elvira Mayordomo","raw_affiliation_strings":["Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, 50015, Zaragoza, Spain","Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, 50015, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318","https://openalex.org/I4405260899"]},{"raw_affiliation_string":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318","https://openalex.org/I4405260899"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5065186485"],"corresponding_institution_ids":["https://openalex.org/I159176309","https://openalex.org/I887064364"],"apc_list":{"value":3190,"currency":"USD","value_usd":3190},"apc_paid":{"value":3190,"currency":"USD","value_usd":3190},"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"3","first_page":"267","last_page":"269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9394999742507935,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9394999742507935,"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.05719999969005585,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.0008999999845400453,"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/computability","display_name":"computability","score":0.8610000014305115},{"id":"https://openalex.org/keywords/proof-theory","display_name":"proof theory","score":0.6029999852180481},{"id":"https://openalex.org/keywords/computational-processes","display_name":"computational processes","score":0.5350000262260437},{"id":"https://openalex.org/keywords/programs","display_name":"programs","score":0.5799999833106995}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7598461508750916},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47292831540107727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40080708265304565},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3728207051753998},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.303851842880249},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.11910822987556458},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07758188247680664},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00224-012-9398-z","doi":"https://doi.org/10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"0025-5661","issn":["0025-5661","1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-c","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/a78abe50-bf77-42be-93c1-b4405c8be0d7","doi":null,"is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/cie-programs-proofs-processes(a78abe50-bf77-42be-93c1-b4405c8be0d7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory of Computing Systems, 51(3), 267 - 400. Springer New York","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1007/s00224-012-9398-z","doi":"https://doi.org/10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"0025-5661","issn":["0025-5661","1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-c","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2004965270.pdf","grobid_xml":"https://content.openalex.org/works/W2004965270.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2012441061","https://openalex.org/W1497573775","https://openalex.org/W2293466858","https://openalex.org/W2068010603","https://openalex.org/W7097968007","https://openalex.org/W7068161415","https://openalex.org/W4206405868","https://openalex.org/W2332686153","https://openalex.org/W1580243551","https://openalex.org/W161179624"],"abstract_inverted_index":{"The":[0],"seven":[1],"papers":[2],"in":[3,39,50],"this":[4],"special":[5],"issue":[6],"constitute":[7],"a":[8],"post-conference":[9],"publication":[10],"of":[11,42],"the":[12,37,40,46],"meeting":[13],"CiE":[14,34],"2010:":[15],"Programs,":[16],"Proofs,":[17],"Processes,":[18],"held":[19],"at":[20],"Universidade":[21],"dos":[22],"A\u00e7ores,":[23],"Ponta":[24],"Delgada,":[25],"Portugal,":[26],"between":[27],"June":[28],"30":[29],"and":[30],"July":[31],"4,":[32],"2010.":[33],"2010":[35],"was":[36],"sixth":[38],"series":[41],"conferences":[43],"organized":[44],"by":[45],"Association":[47],"for":[48],"Computability":[49],"Europe.":[51]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}