Inproceedings,

Rewriting with Linear Inferences in Propositional Logic.

.
RTA, volume 21 of LIPIcs, page 158-173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

Meta data

Tags

Users

  • @anupamdas
  • @dblp

Comments and Reviews