Cut-Elimination

People 2

Papers 1

Journals 0

Jobs 0

Logic And Foundations Of Mathematics

Theory Of Computation

Computability Theory

Computational Complexity Theory

Philosophy Of Language

Analytic Philosophy

Philosophy Of Science

Presocratic Philosophy

Category Theory

Martin Heidegger

Limits of Computation

Formal Topology

Philosophy of Logic

Cut-Elimination

Automated Deduction

Resolution Theorem Provers

Satisfiability Modulo Theories

Structural Proof Theory

What is Following?

Following Bruno's work means that, in your Academia.edu News Feed, you will see Bruno's:

status updates
new papers
new research interests

and other research updates.

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

Automated Deduction, Computability Theory, Computational Linguistics, and Computational Logic

What is Following?

Following Adrian's work means that, in your Academia.edu News Feed, you will see Adrian's:

status updates
new papers
new research interests

and other research updates.

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

x

Log In

Academia © 2012