output
20032008
most citedSearch of S3 LIGO data for gravitational wave signals from spinning black hole and neutron star binary inspirals

63 citations

researchers with a paper here
collaborating institutions
Showing 2003 · cs.LOShow all

1 paper · 2 filters

cs.LO2003

Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…