Article,

LoCo - A Logic for Configuration Problems.

, , , and .
ACM Trans. Comput. Log., 15 (3): 20:1-20:25 (2014)

Meta data

Tags

Users

  • @hvo
  • @dblp

Comments and Reviews