{"id":"https://openalex.org/W1535811382","doi":"https://doi.org/10.1007/3-540-08353-7_129","title":"Algebra and logic in theoretical computer science","display_name":"Algebra and logic in theoretical computer science","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W1535811382","doi":"https://doi.org/10.1007/3-540-08353-7_129","mag":"1535811382"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-08353-7_129","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-08353-7_129","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109834640","display_name":"Ferenc G\u00e9cseg","orcid":null},"institutions":[{"id":"https://openalex.org/I7597260","display_name":"Hungarian Academy of Sciences","ror":"https://ror.org/02ks8qq67","country_code":"HU","type":"funder","lineage":["https://openalex.org/I7597260"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Ferenc G\u00e9cseg","raw_affiliation_strings":["Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Somogyi u. 7, Szeged","Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Szeged,"],"affiliations":[{"raw_affiliation_string":"Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Somogyi u. 7, Szeged","institution_ids":["https://openalex.org/I7597260"]},{"raw_affiliation_string":"Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Szeged,","institution_ids":["https://openalex.org/I7597260"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112030847","display_name":"Enticott Peter","orcid":null},"institutions":[{"id":"https://openalex.org/I7597260","display_name":"Hungarian Academy of Sciences","ror":"https://ror.org/02ks8qq67","country_code":"HU","type":"funder","lineage":["https://openalex.org/I7597260"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"E.-T\u00f3th P\u00e9ter","raw_affiliation_strings":["Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Somogyi u. 7, Szeged","Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Szeged,"],"affiliations":[{"raw_affiliation_string":"Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Somogyi u. 7, Szeged","institution_ids":["https://openalex.org/I7597260"]},{"raw_affiliation_string":"Research Group on Mathematical Logic and Automata Theory of the Hungarian, Academy of Sciences, Szeged,","institution_ids":["https://openalex.org/I7597260"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109834640"],"corresponding_institution_ids":["https://openalex.org/I7597260"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24331927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"78","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"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.9969000220298767,"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.7734229564666748},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.6018844842910767},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.46229618787765503},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43321582674980164},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3904842436313629},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3525269031524658},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1324923038482666},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09405669569969177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7734229564666748},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.6018844842910767},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.46229618787765503},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43321582674980164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3904842436313629},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3525269031524658},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1324923038482666},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09405669569969177},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-08353-7_129","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-08353-7_129","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":[{"display_name":"Quality Education","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W43543174","https://openalex.org/W60403084","https://openalex.org/W174445803","https://openalex.org/W1502820232","https://openalex.org/W2006981145","https://openalex.org/W2052395110","https://openalex.org/W2587545224","https://openalex.org/W2911595507","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W171076485","https://openalex.org/W190919245","https://openalex.org/W2188428054","https://openalex.org/W2076597547","https://openalex.org/W2133396672","https://openalex.org/W2032816783","https://openalex.org/W2485420135","https://openalex.org/W2047821213","https://openalex.org/W2043959303","https://openalex.org/W3010730965"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}