A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Name	Kalpa Publications in Computing

Fields of science

@inproceedings{ffeb7e2efd8747e8a89d8e7cb52bb81e,

title = "A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation",

author = "Tudor Jebelean",

year = "2024",

language = "English",

isbn = "2515-1762",

volume = "18",

series = "Kalpa Publications in Computing",

publisher = "EasyChair",

pages = "107----116",

editor = "\{N. Bj{\o}rner, M. Heule, A. Voronkov\}",

booktitle = "LPAR 2024 Complementary Volume",

}

TY - GEN

T1 - A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation

AU - Jebelean, Tudor

PY - 2024

Y1 - 2024

UR - http:///publications/paper/n11t

M3 - Conference proceedings

SN - 2515-1762

VL - 18

T3 - Kalpa Publications in Computing

SP - 107

EP - 116

BT - LPAR 2024 Complementary Volume

A2 - N. Bjørner, M. Heule, A. Voronkov, null

PB - EasyChair

ER -