Conference Papers
Year : 2006
Yannick Parmentier : Connect in order to contact the contributor
https://hal.science/hal-00466744
Submitted on : Wednesday, March 24, 2010-4:45:34 PM
Last modification on : Saturday, June 25, 2022-10:11:19 AM
Dates and versions
Identifiers
- HAL Id : hal-00466744 , version 1
Cite
Marco Benedetti. Abstract Branching for Quantified Formulas. Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), 2006, Italy. pp._. ⟨hal-00466744⟩
Collections
35
View
0
Download