Resolution over linear equations modulo two

&
Annals of Pure and Applied Logic 171 (1):102722 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.102722

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,998

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Resolution over linear equations and multilinear proofs.Ran Raz & Iddo Tzameret - 2008 - Annals of Pure and Applied Logic 155 (3):194-224.
Ax–Schanuel for linear differential equations.Vahagn Aslanyan - 2018 - Archive for Mathematical Logic 57 (5-6):629-648.
A compactness theorem for linear equations.Robert Cowen & William Emerson - 1996 - Studia Logica 57 (2-3):355 - 357.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Solving Pell equations locally in models of IΔ0.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
Non-equilibrium in Stochastic Mechanics.Guido Bacciagaluppi - unknown
On long increasing chains modulo flat ideals.Saharon Shelah - 2010 - Mathematical Logic Quarterly 56 (4):397-399.
Solving Pell Equations Locally in Models of I$Delta_0$.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
Phenomena.Harvey M. Friedman - unknown
Some Solved and Unsolved Remainder Equations.Sven Ove Hansson - 1995 - Mathematical Logic Quarterly 41 (3):362-368.
Some historical perspectives on certain incompleteness phenomena.Harvey Friedman - manuscript
Maxwell Equations—The One-Photon Quantum Equation.Alexander Gersten - 2001 - Foundations of Physics 31 (8):1211-1231.
Finite Amplitude Free Convection as an Initial Value Problem.Barry Saltzman - 1962 - Journal of the Atmospheric Sciences 19 (329).
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham & Michael Pinsker - 2019 - Journal of Mathematical Logic 19 (2):1950010.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.

Analytics

Added to PP
2019-08-22

Downloads
21 (#738,221)

6 months
5 (#640,860)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

View all 7 references / Add more references