Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machi…
cs.LO2024
Drag Rewriting
Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots an…