Back to Results
First PageMeta Content
Symbol / Admissible rule / Entailment / Constructible universe / Logic / Deduction / Propositional calculus


From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2
Add to Reading List

Document Date: 2012-03-26 16:39:48

Open Document

File Size: 330,82 KB

Share Result on Facebook

Company

2 PIV / Axiomless PIV / Datalog We / Microsoft / /

/

Event

Force Majeure / /

IndustryTerm

time decision algorithms / /

Organization

H. Every / D0 / D. / Universidad de Buenos Aires / Buenos Aires / /

Person

Andreas Blass / Chuck / Bob / Alice / Thomas Eiter / /

Position

head / /

ProgrammingLanguage

DC / /

Technology

linear time decision algorithms / /

SocialTag