Theorem Proving

People 17

Papers 14

Journals 0

Jobs 0

Logic And Foundations Of Mathematics

Modal Logic

Intuitionistic Logic

Computer Science

Formal Methods (Formal Verification)

Programming Languages

Program Semantics

Type Theory

Logic

Computational Logic

Proof Theory

Programming Language Semantics

Temporal and Modal Logic

Network Security

Knowledge Representation and Reasoning (Computer Science)

Category Theory

Automated Deduction

Verification (Computer Science)

Formal methods

Mathematical Logic

Theorem Proving

Follow Joseph

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Follow Dejan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Joshua

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Follow Vivi

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Vivi Tsoutsa

TEI Larisas

Faculty Member

Department of Accounting

Semantic Web and Theorem Proving

Follow Marios

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Marios Daoutis

Örebro University

Graduate Student

School of Science and Technology

Cognitive Robotics, Commonsense Reasoning, Knowledge Representation, and Robot Vision

Follow Feryal Fulya

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Feryal Fulya Horozal

Jacobs University Bremen

Graduate Student

School of Engineering and Science

Computer Science, Formal Methods (Formal Verification), Formal methods, and Logical Frameworks (Computer Science)

Follow James

What is Following?

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

status updates
new papers
new research interests

and other research updates.

James Caldwell

University of Wyoming

Faculty Member

Computer Science Department

Computer Science, Formal methods, Logic, and Proof Theory

Follow Eduardo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

Follow Adrian

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

Follow Piotr

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Piotr Kaźmierczak

University of Bergen

Graduate Student

Department of Information Science and Media Studies

Epistemic Logic, Formal methods, Grid Computing, and Haskell

Follow Manuel

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Manuel Ojeda-Aciego

Universidad de Malaga

Faculty Member

Applied Mathematics Department

Applied Mathematics, Computational Logic, Fuzzy Logic Programming, and Qualitative Spatial Reasoning

Follow Emilio

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Emilio Muñoz-Velasco

Universidad de Malaga

Faculty Member

Applied Mathematics Department

Applied Mathematics, Computational Logic, Description logics, and Modal Logic

Follow osman

What is Following?

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

status updates
new papers
new research interests

and other research updates.

osman hasan

National University of Sciences & Technology (NUST)

Faculty Member

NUST-SEECS Department

Formal Methods (Formal Verification), Higher-order logics, and Theorem Proving

Follow Hernán

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Hernán Vanzetto

INRIA

Graduate Student

Verification of Distributed Systems Department

Formal Methods (Formal Verification), Logic And Foundations Of Mathematics, and Theorem Proving

Follow Shamim

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Shamim Ripon

East West University

Faculty Member

Computer Science and Engineering Department

Computer Science And Engineering, Formal Verification, Theorem Proving, and Web Services Composition

Follow Beeboom

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Beeboom Derilo

Theorem Proving

Follow Trevor

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Trevor Oakes

Brigham Young University

Undergraduate

Computer Science Department

Computer Science, Programming Languages, Theorem Proving, and Type Theory

Follow ben

What is Following?

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

status updates
new papers
new research interests

and other research updates.

ben dotto

Automated Reasoning (Computer Science), Computer Networks, Computer Security, and Data Mining

Follow Brian

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Theorem Proving

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

What is Following?

Undergraduate

What is Following?

What is Following?

Faculty Member

Log In

Reset Password