{"id":"https://openalex.org/W2275965367","doi":null,"title":"A recursion forms and their verification by using the inductive methods","display_name":"A recursion forms and their verification by using the inductive methods","publication_year":2009,"publication_date":"2009-06-26","ids":{"openalex":"https://openalex.org/W2275965367","mag":"2275965367"},"language":"en","primary_location":{"id":"mag:2275965367","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=1627955.1628020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5109856796","display_name":"Nino G. Archvadze","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I102808428","display_name":"Tbilisi State University","ror":"https://ror.org/05fd1hd85","country_code":"GE","type":"education","lineage":["https://openalex.org/I102808428"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"N. Archvadze","raw_affiliation_strings":["Department of Computer Sciences, Faculty of Exact and Natural Sciences, I. Javakhishvili Tbilisi State University, Tbilisi, Georgia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, Faculty of Exact and Natural Sciences, I. Javakhishvili Tbilisi State University, Tbilisi, Georgia","institution_ids":["https://openalex.org/I102808428"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009852681","display_name":"Merab Pkhovelishvili","orcid":"https://orcid.org/0000-0002-2814-4757","observed_orcids":["https://orcid.org/0000-0002-2814-4757"]},"institutions":[{"id":"https://openalex.org/I2800265760","display_name":"Georgian National Academy of Sciences","ror":"https://ror.org/05aav2h42","country_code":"GE","type":"education","lineage":["https://openalex.org/I2800265760"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"Merab Pkhovelishvili","raw_affiliation_strings":["Department of Programming, N. Muskhelishvili computing mathematic Institute, Tbilisi, Georgia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Programming, N. Muskhelishvili computing mathematic Institute, Tbilisi, Georgia#TAB#","institution_ids":["https://openalex.org/I2800265760"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078803325","display_name":"Lia Shetsiruli","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I12153360","display_name":"Batumi Shota Rustaveli State University","ror":"https://ror.org/0212gyx73","country_code":"GE","type":"education","lineage":["https://openalex.org/I12153360"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"L. Shetsiruli","raw_affiliation_strings":["Department of Mathematics and Computer Science, Shota Rustaveli State University, Batumi, Georgia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Shota Rustaveli State University, Batumi, Georgia#TAB#","institution_ids":["https://openalex.org/I12153360"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027256372","display_name":"M. Nizharadze","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I131762061","display_name":"Georgian Technical University","ror":"https://ror.org/00aamz256","country_code":"GE","type":"education","lineage":["https://openalex.org/I131762061"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"M. Nizharadze","raw_affiliation_strings":["Faculty of of Informatics and Control Systems, Georgian Technical University, Tbilisi, Georgia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of of Informatics and Control Systems, Georgian Technical University, Tbilisi, Georgia#TAB#","institution_ids":["https://openalex.org/I131762061"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6416,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75168836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"357","last_page":"361"},"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.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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.0007999999797903001,"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/T10533","display_name":"Teaching and Learning Programming","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/functional-programming-languages","display_name":"functional programming languages","score":0.7329999804496765},{"id":"https://openalex.org/keywords/inductive-approach","display_name":"inductive method","score":0.7310000061988831},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.8830000162124634},{"id":"https://openalex.org/keywords/imperative-programming-languages","display_name":"imperative programming languages","score":0.5199999809265137},{"id":"https://openalex.org/keywords/loops","display_name":"loops","score":0.6520000100135803}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.8899441957473755},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6117265224456787},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5993307828903198},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5338861346244812},{"id":"https://openalex.org/C124416688","wikidata":"https://www.wikidata.org/wiki/Q3454656","display_name":"Mutual recursion","level":3,"score":0.4703885316848755},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4183775782585144},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.41665154695510864},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3524070084095001},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34737473726272583},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33582866191864014},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18079620599746704},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10695183277130127},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07629305124282837},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2275965367","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=1627955.1628020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W199653139","https://openalex.org/W2024136341","https://openalex.org/W2049015750","https://openalex.org/W1967862407","https://openalex.org/W7098973138","https://openalex.org/W2785772977","https://openalex.org/W2146106430","https://openalex.org/W7100946210","https://openalex.org/W152968864","https://openalex.org/W49360353"],"abstract_inverted_index":{"It":[0,23],"is":[1,24,45],"considered":[2],"both":[3],"the":[4,10,14,18,27,39,42],"recursion":[5],"forms":[6],"which":[7],"exist":[8],"for":[9,47],"functional":[11],"languages,":[12],"and":[13,29],"inductive":[15],"methods":[16],"with":[17],"goal":[19],"of":[20,32],"their":[21],"verification.":[22],"shown":[25],"how":[26],"simple":[28],"double":[30],"cycles":[31],"imperative":[33],"languages":[34],"may":[35],"be":[36],"presented":[37],"by":[38],"recursive":[40,49],"forms;":[41],"verification":[43],"possibility":[44],"studied":[46],"each":[48],"forms.":[50]},"counts_by_year":[],"updated_date":"2026-10-13T10:08:12.033832","created_date":"2016-06-24T00:00:00"}