Skip to content
conftrace_

fixpoint logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

recurrent graph neural network (1) message-passing iteration (1) graph-size gnn (1) graph neural network (1) first-order logic (1) message passing (1)

Papers

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024