Nearby in the stack

Deduction modulo theory · arXivDesk

1501.06523Jan 26, 2015

Deduction modulo theory

Gilles Dowek

Logic in Computer Science

arXiv PDF

Abstract

This paper is a survey on Deduction modulo theory

Briefing

What this paper is actually doing

Claims

Methods

Limitations

Socratic margin

Ask the abstract

Questions are grounded in the title and abstract. If the PDF is required, arXivDesk will say so.

Nearby in the stack

hep-th/9707234

about 29 years ago

Variational Approach to Quantum Field Theory: Gaussian Approximation and the Perturbative Expansion around It

Jae Hyung Yee

Theory

chao-dyn/9311011

over 32 years ago

The Great Inequality In A Hamiltonian Planetary Theory

F. Varadi, M. Ghil, W. M. Kaula +6

Chaotic Dynamics

2308.04752

about 3 years ago

New congruences for 4,6-regular partitions modulo primes

Qi-Yang Zheng

Number Theory

1204.6236

over 14 years ago

Combining Deduction Modulo and Logics of Fixed-Point Definitions

David Baelde, Gopalan Nadathur

Logic in Computer Science

hep-th/9201009

over 34 years ago

Large-Small Equivalence in String Theory

Eva Silverstein

Theory

2608.14322

3 days ago

Solving QBF with Counterexample Guided Refinement

Mikoláš Janota, William Klieber, Joao Marques-Silva +1

Logic in Computer Science

hep-th/9707234

about 29 years ago

Variational Approach to Quantum Field Theory: Gaussian Approximation and the Perturbative Expansion around It

Jae Hyung Yee

Theory

chao-dyn/9311011

over 32 years ago

The Great Inequality In A Hamiltonian Planetary Theory

F. Varadi, M. Ghil, W. M. Kaula +6

Chaotic Dynamics

2308.04752

about 3 years ago

New congruences for 4,6-regular partitions modulo primes

Qi-Yang Zheng

Number Theory

1204.6236

over 14 years ago

Combining Deduction Modulo and Logics of Fixed-Point Definitions

David Baelde, Gopalan Nadathur

Logic in Computer Science

hep-th/9201009

over 34 years ago

Large-Small Equivalence in String Theory

Eva Silverstein

Theory

2608.14322

3 days ago

Solving QBF with Counterexample Guided Refinement

Mikoláš Janota, William Klieber, Joao Marques-Silva +1

Logic in Computer Science