Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
12774
search results - page 60 / 2555
»
A Framework for Proof Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
21
click to vote
JANCL
2007
66
views
more
JANCL 2007
»
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
13 years 8 months ago
Download
www.ifispan.waw.pl
Joanna Golinska-Pilarek
claim paper
Read More »
25
click to vote
IJUFKS
2000
45
views
more
IJUFKS 2000
»
On Proofs in System P
13 years 8 months ago
Download
www.sci.brooklyn.cuny.edu
Simon Parsons, Rachel A. Bourne
claim paper
Read More »
30
click to vote
SIAMCOMP
2000
86
views
more
SIAMCOMP 2000
»
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
13 years 8 months ago
Download
www.lsi.upc.edu
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
Maria Luisa Bonet, Juan Luis Esteban, Nicola Gales...
claim paper
Read More »
19
click to vote
MSCS
2007
76
views
more
MSCS 2007
»
A duality between proof systems for cyclic term graphs
13 years 8 months ago
Download
www.phil.uu.nl
Clemens Grabmayer
claim paper
Read More »
23
click to vote
CADE
2010
Springer
162
views
Logical Reasoning
»
more
CADE 2010
»
Verifying Safety Properties with the TLA+ Proof System
13 years 7 months ago
Download
www.lix.polytechnique.fr
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
claim paper
Read More »
« Prev
« First
page 60 / 2555
Last »
Next »