Inproceedings,

On the Proof Theory of Regular Fixed Points.

.
TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 93-107. Springer, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews