Natasha Alechina's Publications

Reachability logic: An efficient fragment of transitive closure logic (2000)

By: N. Alechina, and N. Immerman

Download Information

N. Alechina and N. Immerman (2000). "Reachability logic: An efficient fragment of transitive closure logic." Logic Journal of IGPL, 8(3), 325-337. pdf    

Bibtex citation

@article{Alechina/Immerman:00a,
author= "{N. Alechina and N. Immerman}",
title = "{Reachability logic: An efficient fragment of transitive closure logic}",
journal = "Logic Journal of IGPL",
year = 2000,
volume = "8(3)",
pages = "325--337",
}

full list