Deduction modulo theory
Logic in Computer Science
2015-01-27 v1
Authors:
Gilles Dowek
Abstract
This paper is a survey on Deduction modulo theory
Cite
@article{arxiv.1501.06523,
title = {Deduction modulo theory},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:1501.06523},
year = {2015}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
What is a Theory ?
Gilles Dowek
2023-05-26
Logic · Mathematics
Model theory of second order logic
Jouko Väänänen
2025-08-05
Logic in Computer Science · Computer Science
Arithmetic as a theory modulo
Gilles Dowek, Benjamin Werner
2023-10-17
Dynamical Systems · Mathematics
Spectral theory of dynamical systems
Adam Kanigowski, Mariusz Lemańczyk
2020-06-23
Algebraic Geometry · Mathematics
Moduli of varieties of general type
János Kollár
2010-08-31
Algebraic Topology · Mathematics
Rational Homotopy Theory
Alexander A. Voronov
2025-01-23
Logic · Mathematics
Descriptive inner model theory
Grigor Sargsyan
2012-06-14
Commutative Algebra · Mathematics
Deformation theory of modules
Donald Yau
2007-05-23
Symbolic Computation · Computer Science
An unexpected application of minimization theory to module decompositions
Gerard Duchamp, Hatem Hadj Kacem, Eric Laugerotte
2016-08-31
High Energy Physics - Theory · Physics
Mirror Symmetry and Modularity
Babak Haghighat
2018-04-04
Algebraic Geometry · Mathematics
Modulus triples
Bruno Kahn, Hiroyasu Miyazaki
2023-03-07
Number Theory · Mathematics
On uniform distribution modulo one
M. Z. Garaev
2007-05-23
K-Theory and Homology · Mathematics
Noncommutative calculus and operads
Boris Tsygan
2012-10-22
Operator Algebras · Mathematics
Noncommutative Choquet theory: A Survey
Kenneth R. Davidson, Matthew Kennedy
2024-12-13
Analysis of PDEs · Mathematics
Spectral Theory and Nonlinear PDE: a Survey
Wilhelm Schlag
2007-05-23
Combinatorics · Mathematics
Permutation classes
Vincent Vatter
2015-01-06
History and Overview · Mathematics
Symmetric Matrices: Theory and Applications
Helmut Kahl
2025-03-03
Number Theory · Mathematics
An Introduction to Modular Forms
Henri Cohen
2018-10-01
Logic in Computer Science · Computer Science
A Survey of Satisfiability Modulo Theory
David Monniaux
2016-06-16
Classical Analysis and ODEs · Mathematics
Strong Uniqueness
Andras Kroo, Allan Pinkus
2010-01-19
Number Theory · Mathematics
Applications of some exponential sums on prime powers: a survey
Alessandro Languasco
2017-05-12
General Topology · Mathematics
Cohomological dimension theory of compact metric spaces
A. N. Dranishnikov
2007-05-23
Commutative Algebra · Mathematics
Primary decomposition of modules: a computational differential approach
Justin Chen, Yairon Cid-Ruiz
2022-02-15
Discrete Mathematics · Computer Science
A survey on algorithmic aspects of modular decomposition
Michel Habib, Christophe Paul
2009-12-10
Logic · Mathematics
An introduction to multiple gaps
Antonio Avilés
2014-06-26