Library
search
local_library
Repository
Pd
P de Bra
View Pure Profile
Authored
2 records found
On guarded simulations and acyclic first-order languages
Conference paper -
GHL Fletcher
,
A.J.H. Hidders
,
S Vansummeren
,
Y Luo
,
F Picalausa
,
P de Bra
External memory k-bisimulation reduction of big graphs
Conference paper -
Y Luo
,
GHL Fletcher
,
A.J.H. Hidders
,
Y Wu
,
P de Bra