{"id":"https://openalex.org/W2129385473","doi":null,"title":"A Uniform Mathematical Representation of Logic and Computation.","display_name":"A Uniform Mathematical Representation of Logic and Computation.","publication_year":2002,"publication_date":"2002-09-04","ids":{"openalex":"https://openalex.org/W2129385473","mag":"2129385473"},"language":"en","primary_location":{"id":"pmh:oai:d-scholarship.pitt.edu:8287","doi":null,"is_oa":true,"landing_page_url":"https://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","pdf_url":"http://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","source":{"id":"https://openalex.org/S4306402372","display_name":"D-Scholarship@Pitt (University of Pittsburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I170201317","host_organization_name":"University of Pittsburgh","host_organization_lineage":["https://openalex.org/I170201317"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089906776","display_name":"Mahesh M. Bandi","orcid":"https://orcid.org/0000-0002-8431-9005","observed_orcids":["https://orcid.org/0000-0002-8431-9005"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mahesh Bandi","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8431-9005","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5089906776"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1807246,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.415800005197525,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.415800005197525,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.1307000070810318,"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/T11567","display_name":"semigroups and automata theory","score":0.0917000025510788,"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/reversible-computing","display_name":"reversible computation","score":0.8040000200271606},{"id":"https://openalex.org/keywords/quantum-computing","display_name":"quantum computing","score":0.9490000009536743},{"id":"https://openalex.org/keywords/classical-computing","display_name":"classical computing","score":0.8349999785423279},{"id":"https://openalex.org/keywords/abstraction-hierarchy","display_name":"abstraction hierarchy","score":0.4970000088214874},{"id":"https://openalex.org/keywords/vector-spaces","display_name":"vector spaces","score":0.527999997138977},{"id":"https://openalex.org/keywords/invertible-mappings","display_name":"invertible mappings","score":0.8529999852180481},{"id":"https://openalex.org/keywords/unitary-operators","display_name":"unitary operators","score":0.9509999752044678},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.7950000166893005},{"id":"https://openalex.org/keywords/boolean-circuits","display_name":"Boolean circuits","score":0.9179999828338623},{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian","score":0.6200000047683716},{"id":"https://openalex.org/keywords/vlsi-design-automation","display_name":"VLSI design automation","score":0.9369999766349792}],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6823800802230835},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.643042802810669},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5994972586631775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5850377082824707},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5707954168319702},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4860678017139435},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45504534244537354},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4494363069534302},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3797743320465088},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37266862392425537},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2670518457889557},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.1916942000389099},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09784209728240967},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:d-scholarship.pitt.edu:8287","doi":null,"is_oa":true,"landing_page_url":"https://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","pdf_url":"http://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","source":{"id":"https://openalex.org/S4306402372","display_name":"D-Scholarship@Pitt (University of Pittsburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I170201317","host_organization_name":"University of Pittsburgh","host_organization_lineage":["https://openalex.org/I170201317"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"mag:2129385473","doi":null,"is_oa":false,"landing_page_url":"http://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","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":{"id":"pmh:oai:d-scholarship.pitt.edu:8287","doi":null,"is_oa":true,"landing_page_url":"https://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","pdf_url":"http://d-scholarship.pitt.edu/8287/1/bandi2002.pdf","source":{"id":"https://openalex.org/S4306402372","display_name":"D-Scholarship@Pitt (University of Pittsburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I170201317","host_organization_name":"University of Pittsburgh","host_organization_lineage":["https://openalex.org/I170201317"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2129385473.pdf","grobid_xml":"https://content.openalex.org/works/W2129385473.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1563590311","https://openalex.org/W1631356911","https://openalex.org/W1994143452","https://openalex.org/W2033216491","https://openalex.org/W2036265926","https://openalex.org/W2041518499","https://openalex.org/W2068967633","https://openalex.org/W2080267935","https://openalex.org/W2099251677","https://openalex.org/W2105259569","https://openalex.org/W2115757125","https://openalex.org/W2126160338","https://openalex.org/W2146407322","https://openalex.org/W2148132004","https://openalex.org/W2610857016","https://openalex.org/W2912120411"],"related_works":["https://openalex.org/W4225974085","https://openalex.org/W7097699270","https://openalex.org/W1498124165","https://openalex.org/W7098503838","https://openalex.org/W6903915670","https://openalex.org/W2728947994","https://openalex.org/W3048060998","https://openalex.org/W6960261384","https://openalex.org/W7097543848","https://openalex.org/W7095555778"],"abstract_inverted_index":{"The":[0,45,71,92,103,196,221,253],"current":[1,145,307],"models":[2,160,259],"of":[3,8,26,54,57,68,105,111,144,152,173,184,269,285,299,317,323,330],"computation":[4,155],"share":[5,234],"varying":[6],"levels":[7,172],"correspondence":[9,36,230,254,292],"with":[10,37,226,235,256,294],"actual":[11],"implementation":[12],"schemes.":[13],"They":[14],"can":[15],"be":[16,130],"arranged":[17],"in":[18,48,90,98,125,142,161,201,310],"a":[19,65,149,167,286,306],"hierarchical":[20],"structure":[21],"depending":[22],"upon":[23,64,181],"their":[24],"level":[25,47,124],"abstraction.":[27],"In":[28,240],"classical":[29,72,203],"computing,":[30],"the":[31,49,55,109,126,133,137,174,182,193,202,210,215,236,243,267,274,279,283,291,300,315,331],"circuit":[32],"model":[33],"shares":[34],"closest":[35],"physical":[38,296],"implementation,":[39],"followed":[40,205],"by":[41,84,206,213],"finite":[42,257],"automata":[43,258],"techniques.":[44],"highest":[46],"abstraction":[50,127,175],"hierarchy":[51,128],"is":[52,82,139,179,189,198,224,245,260,303],"that":[53,87,120,156,231,281,313],"theory":[56,110,183,217],"computation.Likewise,":[58],"there":[59],"exist":[60],"computing":[61,75,107,159],"paradigms":[62],"based":[63,180],"different":[66],"set":[67],"defining":[69],"principles.":[70],"paradigm":[73,94,104,212,223],"involves":[74],"as":[76,192],"has":[77],"been":[78],"applied":[79],"traditionally,":[80],"and":[81,154,328],"characterized":[83],"Boolean":[85],"circuits":[86],"are":[88,338],"irreversible":[89],"nature.":[91],"reversible":[93,211],"requires":[95],"invertible":[96,219],"primitives":[97],"order":[99],"to":[100,114,170,191,209,247,263,334],"perform":[101,115],"computation.":[102],"quantum":[106,112,222],"applies":[108],"mechanics":[113],"computational":[116,287],"tasks.Our":[117],"analysis":[118],"concludes":[119],"descriptions":[121],"at":[122],"lowest":[123],"should":[129],"uniform":[131],"across":[132],"three":[134,163,251],"paradigms,":[135,164],"but":[136],"same":[138],"not":[140],"true":[141],"case":[143],"descriptions.":[146],"We":[147],"propose":[148],"mathematical":[150],"representation":[151,178,197,228,244,276,302,322,333],"logic":[153,318],"successfully":[157],"explains":[158],"all":[162,250],"while":[165],"making":[166],"seamless":[168],"transition":[169],"higher":[171],"hierarchy.":[176],"This":[177],"linear":[185,194,238,275,301,332],"spaces":[186],"and,":[187],"hence,":[188],"referred":[190],"representation.":[195,239,271],"first":[199],"developed":[200],"context,":[204],"an":[207],"extension":[208],"exploiting":[214],"well-developed":[216],"on":[218],"mappings.":[220],"reconciled":[225],"this":[227,241,270],"through":[229],"unitary":[232],"operators":[233],"proposed":[237],"manner,":[242],"shown":[246,262],"account":[248],"for":[249,278,320],"paradigms.":[252],"shared":[255,293],"also":[261,339],"hold":[264],"implicitly":[265],"during":[266],"development":[268],"Most":[272],"importantly,":[273],"accounts":[277],"Hamiltonians":[280],"define":[282],"dynamics":[284],"process,":[288],"thereby":[289],"resolving":[290],"underlying":[295],"principles.The":[297],"consistency":[298],"checked":[304],"against":[305],"existing":[308],"application":[309],"VLSI":[311],"CAD":[312],"exploits":[314],"linearity":[316],"functions":[319],"symbolic":[321],"circuits.":[324],"Some":[325],"possible":[326],"applications":[327],"applicability":[329],"some":[335],"open":[336],"problems":[337],"discussed.":[340]},"counts_by_year":[],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}