No Cover Image

Journal article

Categorifying Computable Reducibilities

Davide Trotta, Manlio Valenti Orcid Logo, Valeria De Paiva

Logical Methods in Computer Science, Volume: 21, Issue: 1, Pages: 15:1 - 15:36

Swansea University Author: Manlio Valenti Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.46298/lmcs-21(1:15)2025

Published in: Logical Methods in Computer Science
ISSN: 1860-5974 1860-5974
Published: 2026
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa71415
first_indexed 2026-02-13T10:50:28Z
last_indexed 2026-02-13T10:50:28Z
id cronfa71415
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>71415</id><entry>2026-02-13</entry><title>Categorifying Computable Reducibilities</title><swanseaauthors><author><sid>133b5d626ca91216041d4556dc9251fb</sid><ORCID>0000-0003-0351-3058</ORCID><firstname>Manlio</firstname><surname>Valenti</surname><name>Manlio Valenti</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2026-02-13</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>Logical Methods in Computer Science</journal><volume>21</volume><journalNumber>1</journalNumber><paginationStart>15:1</paginationStart><paginationEnd>15:36</paginationEnd><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1860-5974</issnPrint><issnElectronic>1860-5974</issnElectronic><keywords/><publishedDay>11</publishedDay><publishedMonth>2</publishedMonth><publishedYear>2026</publishedYear><publishedDate>2026-02-11</publishedDate><doi>10.46298/lmcs-21(1:15)2025</doi><url>https://lmcs.episciences.org/15226</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2026-02-13T10:50:26.9250558</lastEdited><Created>2026-02-13T10:47:07.8635886</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Davide</firstname><surname>Trotta</surname><order>1</order></author><author><firstname>Manlio</firstname><surname>Valenti</surname><orcid>0000-0003-0351-3058</orcid><order>2</order></author><author><firstname>Valeria De</firstname><surname>Paiva</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling v2 71415 2026-02-13 Categorifying Computable Reducibilities 133b5d626ca91216041d4556dc9251fb 0000-0003-0351-3058 Manlio Valenti Manlio Valenti true false 2026-02-13 MACS Journal Article Logical Methods in Computer Science 21 1 15:1 15:36 1860-5974 1860-5974 11 2 2026 2026-02-11 10.46298/lmcs-21(1:15)2025 https://lmcs.episciences.org/15226 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Not Required 2026-02-13T10:50:26.9250558 2026-02-13T10:47:07.8635886 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Davide Trotta 1 Manlio Valenti 0000-0003-0351-3058 2 Valeria De Paiva 3
title Categorifying Computable Reducibilities
spellingShingle Categorifying Computable Reducibilities
Manlio Valenti
title_short Categorifying Computable Reducibilities
title_full Categorifying Computable Reducibilities
title_fullStr Categorifying Computable Reducibilities
title_full_unstemmed Categorifying Computable Reducibilities
title_sort Categorifying Computable Reducibilities
author_id_str_mv 133b5d626ca91216041d4556dc9251fb
author_id_fullname_str_mv 133b5d626ca91216041d4556dc9251fb_***_Manlio Valenti
author Manlio Valenti
author2 Davide Trotta
Manlio Valenti
Valeria De Paiva
format Journal article
container_title Logical Methods in Computer Science
container_volume 21
container_issue 1
container_start_page 15:1
publishDate 2026
institution Swansea University
issn 1860-5974
1860-5974
doi_str_mv 10.46298/lmcs-21(1:15)2025
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://lmcs.episciences.org/15226
document_store_str 0
active_str 0
published_date 2026-02-11T10:50:28Z
_version_ 1857006944875708416
score 11.096295

Similar Items