887 citations
- Polish Academy of SciencesPL60 papers
- Warsaw University of TechnologyPL22 papers
- University of WrocławPL17 papers
- Jagiellonian UniversityPL13 papers
- AGH University of KrakowPL11 papers
- Dalhousie UniversityCA10 papers
- University of WarsawPL9 papers
- University of Silesia in KatowicePL7 papers
- Uniwersytet Komisji Edukacji Narodowej w KrakowiePL7 papers
- Linköping UniversitySE5 papers
- Silesian University of TechnologyPL5 papers
- Charité - Universitätsmedizin BerlinDE3 papers
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 15 cited
Correctness and completeness of logic programs
Włodzimierz Drabent
We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method wh…
cs.LO2014★ 19 cited
Improving legibility of natural deduction proofs is not trivial
Karol Pąk
In formal proof checking environments such as Mizar it is not merely the validity of mathematical formulas that is evaluated in the process of adoption to the body of accepted form…