Robert W. McGrail

16 papers C 1Misc 6Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2020 Misc conf
Knot Coloring as Verification.
SYNASC
Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda
2018 Misc conf
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles.
SYNASC
Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi
2015 C conf
The Word Problem for Finitely Presented Quandles is Undecidable.
WoLLIC
James M. Belk, Robert W. McGrail
2014 Misc conf
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups.
SYNASC
Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish
2013 Misc conf
Deciding Conjugacy in Thompson's Group F in Linear Time.
SYNASC
Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci
2013 J jnl
Implementation of a solution to the conjugacy problem in Thompson's group F.
ACM Commun. Comput. Algebra
James M. Belk, Nabil Hossain, Francesco Matucci, Robert W. McGrail
2009 J jnl
On the algebraic structure of declarative programming languages.
Theor. Comput. Sci.
Gianluca Amato, James Lipton, Robert W. McGrail
2009 — conf
Tricolorable torus knots are NP-complete.
ACM Southeast Regional Conference
Peter B. Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac, Aleksandar Chakarov
2008 — conf
Toward an Ontology for Finite Algebras.
ISWC (Posters & Demos)
Bella Manoim, Robert W. McGrail
2008 J jnl
Tricoloring as a corrective measure (abstract only).
ACM Commun. Comput. Algebra
Robert W. McGrail, Mary Sharac
2007 Misc conf
TICK: A Content Management System Framework for Semantic Web Research and Instruction.
FLAIRS
Robert W. McGrail, S. Rebecca Thomas
2006 Misc conf
Sorting the Sortable from the Unsortable.
FLAIRS
Tracey Baldwin McGrail, Robert W. McGrail
2005 J jnl
Deconstructing the "math-science quest for solutions" website via logic programming.
J. Comput. Sci. Coll.
Robert W. McGrail, Burton Brody
2004 J jnl
A grading dilemma or the abyss between sorting and the knapsack problem.
J. Comput. Sci. Coll.
Robert W. McGrail, Tracey Baldwin McGrail
2003 J jnl
The genome generator: simulating the development of junk DNA.
J. Comput. Sci. Coll.
Robert W. McGrail, S. Rebecca Thomas, Michael Tibbetts
1998 — conf
Encapsulating Data in Logic Programming via Categorial Constraints.
PLILP/ALP
James Lipton, Robert W. McGrail