{"id":"https://openalex.org/W1579647526","doi":"https://doi.org/10.1007/bfb0012831","title":"A mechanizable induction principle for equational specifications","display_name":"A mechanizable induction principle for equational specifications","publication_year":2005,"publication_date":"2005-11-23","ids":{"openalex":"https://openalex.org/W1579647526","doi":"https://doi.org/10.1007/bfb0012831","mag":"1579647526"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0012831","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012831","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/A5039343417","display_name":"Hantao Zhang","orcid":"https://orcid.org/0000-0003-1203-7997"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hantao Zhang","raw_affiliation_strings":["Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","Rensselaer Polytechnic Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Rensselaer Polytechnic Institute","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003856856","display_name":"Deepak Kapur","orcid":"https://orcid.org/0000-0003-2464-2895"},"institutions":[{"id":"https://openalex.org/I113508548","display_name":"Albany State University","ror":"https://ror.org/01vme4277","country_code":"US","type":"education","lineage":["https://openalex.org/I113508548"]},{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]},{"id":"https://openalex.org/I392282","display_name":"University at Albany, State University of New York","ror":"https://ror.org/012zs8222","country_code":"US","type":"education","lineage":["https://openalex.org/I392282"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Deepak Kapur","raw_affiliation_strings":["Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","Department of Computer Science, State University of New York at Albany, 12222, Albany, NY, U.S.A","Rensselaer Polytechnic Institute","State University of New York at Albany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Department of Computer Science, State University of New York at Albany, 12222, Albany, NY, U.S.A","institution_ids":["https://openalex.org/I113508548","https://openalex.org/I392282"]},{"raw_affiliation_string":"Rensselaer Polytechnic Institute","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"State University of New York at Albany","institution_ids":["https://openalex.org/I113508548","https://openalex.org/I392282"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067509576","display_name":"Mukkai S. Krishnamoorthy","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mukkai S. Krishnamoorthy","raw_affiliation_strings":["Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","Rensselaer Polytechnic Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rensselaer Polytechnic Institute, 12180, Troy, NY, U.S.A","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Rensselaer Polytechnic Institute","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.711,"has_fulltext":false,"cited_by_count":99,"citation_normalized_percentile":{"value":0.90864371,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"162","last_page":"181"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","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/automated-theorem-proving","display_name":"Automated theorem proving","score":0.6570819616317749},{"id":"https://openalex.org/keywords/mathematical-induction","display_name":"Mathematical induction","score":0.6074103116989136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5458359122276306},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.49924659729003906},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.4760054051876068},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47019562125205994},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.43490681052207947},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3744537830352783},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34823399782180786},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2176569700241089}],"concepts":[{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.6570819616317749},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.6074103116989136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5458359122276306},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.49924659729003906},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.4760054051876068},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47019562125205994},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.43490681052207947},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3744537830352783},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34823399782180786},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2176569700241089},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0012831","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012831","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":31,"referenced_works":["https://openalex.org/W78705439","https://openalex.org/W174440544","https://openalex.org/W1481699584","https://openalex.org/W1512556106","https://openalex.org/W1524857134","https://openalex.org/W1530164705","https://openalex.org/W1563415963","https://openalex.org/W1567365295","https://openalex.org/W1590828018","https://openalex.org/W1596435090","https://openalex.org/W1598625331","https://openalex.org/W1965673983","https://openalex.org/W1967455278","https://openalex.org/W1968386045","https://openalex.org/W1979101142","https://openalex.org/W1992371661","https://openalex.org/W2001026998","https://openalex.org/W2021173362","https://openalex.org/W2074030070","https://openalex.org/W2109576922","https://openalex.org/W2115592109","https://openalex.org/W2121757274","https://openalex.org/W2134338128","https://openalex.org/W2148943323","https://openalex.org/W2149640269","https://openalex.org/W2149944932","https://openalex.org/W2159709550","https://openalex.org/W2166089338","https://openalex.org/W2507006525","https://openalex.org/W6633820072","https://openalex.org/W6635611516"],"related_works":["https://openalex.org/W2079125094","https://openalex.org/W182723225","https://openalex.org/W1799042098","https://openalex.org/W3023460505","https://openalex.org/W2131793723","https://openalex.org/W3120632734","https://openalex.org/W3100311625","https://openalex.org/W4386714371","https://openalex.org/W644998418","https://openalex.org/W2956888504"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}