- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Strong Extension-Free Proof Systems ; day:22 ; month:2 ; year:2019 ; pages:1-22
Journal of automated reasoning ; (22.2.2019), 1-22
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-019-09516-0
- URN
-
urn:nbn:de:101:1-2019032100234180123981
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Heule, Marijn J. H.
- Kiesl-Reiter, Benjamin
- Biere, Armin
- SpringerLink (Online service)
Other Objects (12)
Strong Extension-Free Proof Systems
Simulating Strong Practical Proof Systems with Extended Resolution
A euclidean proof of Casey's extension of Ptolemy's theorem.
Strategy-proof and envy-free random assignment
Strategy-proof and envy-free random assignment
Strong first order EWPT & strong gravitational waves in Z 3-symmetric singlet scalar extension
Strong dictatorship via ratio-scale measurable utilities: a simpler proof
Strong Cliques in Claw-Free Graphs
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Neutral Free Logic: Motivation, Proof Theory and Models
Proof by transfinite induction and definition by transfinite recursion in quantifier free systems
Strong Extension-Free Proof Systems
Simulating Strong Practical Proof Systems with Extended Resolution
A euclidean proof of Casey's extension of Ptolemy's theorem.
Strategy-proof and envy-free random assignment
Strategy-proof and envy-free random assignment
Strong first order EWPT & strong gravitational waves in Z 3-symmetric singlet scalar extension
Strong dictatorship via ratio-scale measurable utilities: a simpler proof
Strong Cliques in Claw-Free Graphs
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Neutral Free Logic: Motivation, Proof Theory and Models
Proof by transfinite induction and definition by transfinite recursion in quantifier free systems
Strong Extension-Free Proof Systems
Simulating Strong Practical Proof Systems with Extended Resolution
A euclidean proof of Casey's extension of Ptolemy's theorem.
Strategy-proof and envy-free random assignment
Strategy-proof and envy-free random assignment
Strong first order EWPT & strong gravitational waves in Z 3-symmetric singlet scalar extension
Strong dictatorship via ratio-scale measurable utilities: a simpler proof
Strong Cliques in Claw-Free Graphs
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Neutral Free Logic: Motivation, Proof Theory and Models