Funder
Defense Advanced Research Projects Agency
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference35 articles.
1. The verigraph system for graph transformation;Azzi,2018
2. Concurrency theorems for non-linear rewriting theories;Behr,2021
3. How to delete categorically—two pushout complement constructions;Braatz;J. Symb. Comput.,2011