The Horn Mu-calculus

15 years 7 months ago

The Horn

Witold Charatonik, David A. McAllester, Damian Niw

Automated Reasoning | Greatest Fixed Points | LICS 1998 | Logic Programming Language | Nontrivial Decidable Relaxation |

claim paper

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	LICS
Authors	Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz

Comments (0)