Skip To Main Content
Pedro Sánchez Terraf on Muck Rack

Pedro Sánchez Terraf

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Pedro Sánchez

Contact Pedro Sánchez, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Computer Science > Logic in Computer Science

|
By Martín Santiago, Pedro Sánchez Terraf
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (599) Issue with article?

[2401.09273] A classification of bisimilarities for general Markov decision processes

|
By Martín Santiago, Pedro Sanchez, Pedro Sánchez, Pedro Sánchez Terraf
| arXiv
arXiv:2401.09273 (cs) [Submitted on 17 Jan 2024 (v1), last revised 13 Feb 2024 (this version, v2)] Download PDF Comments: Subjects: Logic in Computer Science (cs.LO); Logic (math.LO) MSC classes: 68Q85 (Primary), 60Jxx, 03E15, 28A05 (Secondary) ACM classes: F.4.1 Cite as: arXiv:2401.09273 [cs.LO] (or arXiv:2401.09273v2 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2401.09273 Submission history From: Pedro Sánchez Terraf [ view email] [v1] Wed, 17 Jan 2024 15:23:43 UTC (249 KB) [v2]...
Open in Who Shared View Duplicates (5) Issue with article?

[2210.15609] The formal verification of the ctm approach to forcing

|
By Pedro Sanchez, Pedro Sánchez, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
| arXiv
arXiv:2210.15609 (math) [Submitted on 27 Oct 2022 (v1), last revised 14 Dec 2023 (this version, v2)] Download PDF Comments: Subjects: Logic (math.LO); Logic in Computer Science (cs.LO) MSC classes: 68V20 (Primary) 03E35, 03E30 (Secondary) ACM classes: F.4.1; I.2.3 Cite as: arXiv:2210.15609 [math.LO] (or arXiv:2210.15609v2 [math.LO] for this version) https://doi.org/10.48550/arXiv.2210.15609 Submission history From: Pedro Sánchez Terraf [ view email] [v1] Thu, 27 Oct 2022 16:52:49 UTC (61 KB)...
Open in Who Shared View Duplicates (692) Issue with article?
See all 3 articles