J. Worthington

From MaRDI portal
Person:408528

Available identifiers

zbMath Open worthington.jamesMaRDI QIDQ408528

List of research outcomes





PublicationDate of PublicationType
Feasibility checking in Horn constraint systems through a reduction based approach2015-05-18Paper
Polynomial time certifying algorithms for the planar quantified integer programming problem2013-11-21Paper
A bialgebraic approach to automata and formal language theory2012-04-10Paper
A New Algorithm for Linear and Integer Feasibility in Horn Constraints2011-05-26Paper
A Bialgebraic Approach to Automata and Formal Language Theory2009-02-24Paper
Automatic Proof Generation in Kleene Algebra2008-05-15Paper
Feasibly Reducing KAT Equations to KA Equations2008-01-15Paper
GRAPH PRODUCTS AND CANNON PAIRS2004-08-06Paper

Research outcomes over time

This page was built for person: J. Worthington

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:408528&oldid=7602719"
Powered by MediaWiki