Inproceedings,

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.

, , and .
GCAI, volume 36 of EPiC Series in Computing, page 229-251. EasyChair, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews