Kimberly Cornell on Muck Rack

Kimberly Cornell

Verified
Los Angeles
As seen in: KTLA-TV (Los Angeles, CA)
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 Kimberly

Contact Kimberly, 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

On Problems Dual to Unification: The String-Rewriting Case

|
By Kimberly Cornell Verified, Paliath Narendran, Andrew Pulver Verified, Hono II
| arxiv.org
arXiv:2103.00386 (cs) [Submitted on 28 Feb 2021 (v1), last revised 30 Dec 2023 (this version, v2)] Download PDF HTML (experimental) Comments: Subjects: Logic in Computer Science (cs.LO) Cite as: arXiv:2103.00386 [cs.LO] (or arXiv:2103.00386v2 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2103.00386 Submission history From: Zümrüt Akçam [ view email] [v1] Sun, 28 Feb 2021 03:34:02 UTC (42 KB) [v2] Sat, 30 Dec 2023 21:33:22 UTC (50 KB) Bibliographic Tools Bibliographic Explorer...
Open in Who Shared View Duplicates (692) Issue with article?
See all 1 articles
 •  Privacy  •  Terms  •  Security and Legal  •   •   •   • 

© 2026 Muck Rack

SOC 2® Certified