Harmer, Russ

1. Schema Validation and Evolution for Graph Databases
   2019/02/18 by Bonifati, Angela, Furniss, Peter, Green, Alastair +3 · 3 citations
   #Databases (cs.DB) #FOS: Computer and information sciences
2. Concurrency Theorems for Non-linear Rewriting Theories
   2021/05/06 by Behr, Nicolas, Harmer, Russ, Krivine, Jean · 1 citation
   #05E99 (Secondary) #16B50 #60J27 #68Q42 (Primary) 60J28 #F.4.2 #FOS: Computer and information sciences #G.2.2 #G.3 #Logic in Computer Science (cs.LO)
3. Knowledge representation and update in hierarchies of graphs
   2020/02/05 by Harmer, Russ, Oshurko, Eugenia · 1 citation
   #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)