Back to Results
First PageMeta Content
Propositional calculus / Proof theory / Logical syntax / First-order logic / Monadic predicate calculus / Decidability / Well-formed formula / Sequent calculus / Proposition / Logic / Mathematical logic / Predicate logic


ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS
Add to Reading List

Document Date: 2008-11-05 20:24:12

Open Document

File Size: 96,83 KB

Share Result on Facebook

Company

Stanford Artificial Intelligence Laboratory / IBM / /

EntertainmentAwardEvent

JUSSI / /

Facility

Stanford Artificial Intelligence Laboratory / Stanford University / Institute of Electrical / /

Organization

Institute for Mathematical Studies / National Science Foundation / JUSSI KETONEN Department of Computer Science / Institute of Electrical and Electronics Engineers / Stanford University / /

Position

mathematician / /

SportsLeague

Stanford University / /

Technology

Wang algorithm / /

SocialTag