Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

ModLeanTAP: Lean Tableau-based Deduction for Propositional Modal Logics

i12www.ira.uka.de
Visit Site

Lean Tableau-based Deduction for Propositional Modal Logics. By Bernhard Beckert.

Category
Software
Visits
196
Added
May 3, 2023
Rating
(129)
Rate This Site
More in Software Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Bertrand 498 visits
Logic Software from CSLI 475 visits
Database of Existing Mechanized Reasoning Systems 457 visits
VeriFun 449 visits
SwitchMin Digital Circuit Minimizer 448 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day