| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Nicolas Peltier
| Website: http://membres-lig.imag.fr/peltier/ |
Entries
| 2016 |
| September 6: A Variant of the Superposition Calculus |
| March 11: Propositional Resolution and Prime Implicates Generation |