output
20022025
most citedHatchery-produced sandfish (Holothuria scabra) show altered genetic diversity in New Caledonia

12 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2002 · cs.LOShow all

1 paper · 2 filters

cs.LO2002

A Generalization of the Lifting Lemma for Logic Programming

Etienne Payet, Fred Mesnard

Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic…