Back to Results
First PageMeta Content
Deduction / Rules of inference / Converse / Traditional logic / Entailment / Reachability / Sequent calculus / Implicational propositional calculus / Logic / Propositional calculus / Proof theory


IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ
Add to Reading List

Document Date: 2015-03-04 05:44:40

Open Document

File Size: 577,57 KB

Share Result on Facebook

Currency

pence / /

IndustryTerm

later algorithms / goal-directed proof search / proof def search / decision algorithm / vector addition systems / elementary algorithms / /

OperatingSystem

Sequent / /

Person

SYLVAIN SCHMITZ / /

Position

coverability instance hB / hB / instance hB / /

ProgrammingLanguage

R / /

ProvinceOrState

Nova Scotia / /

Technology

2-ExpTime algorithm / decision algorithm / /

SocialTag