Deciding Satisfiability of Positive Second Order Joinability Formulae - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

Deciding Satisfiability of Positive Second Order Joinability Formulae

No file

Dates and versions

hal-00085598 , version 1 (13-07-2006)

Identifiers

  • HAL Id : hal-00085598 , version 1

Cite

Sébastien Limet, Pierre Pillot. Deciding Satisfiability of Positive Second Order Joinability Formulae. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), 2006, France. pp.15-29. ⟨hal-00085598⟩
52 View
0 Download

Share

Gmail Facebook X LinkedIn More