Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
monotonicity
Papers
Presupposition Projection from the Scope of Quantifiers: a Novel Approach
Alexandros Kalomoiros
EasyChair Preprint no. 9407
The Nicolas Criterion for the Riemann Hypothesis
Frank Vega
EasyChair Preprint no. 7204
A Verified Theorem Prover Backend Supported by a Monotonic Library
Vincent Rahli
,
Liron Cohen
and
Mark Bickford
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated Reasoning from Polarized Parse Trees
Hai Hu
,
Thomas Icard
and
Larry Moss
EasyChair Preprint no. 225
Copyright © 2012-2023 easychair.org. All rights reserved.