Back to Results
First PageMeta Content
Philosophical logic / Metalogic / Non-classical logic / Deduction / Model theory / Hybrid logic / Entailment / FO / Temporal logic / Logic / Mathematical logic / Modal logic


Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´
Add to Reading List

Document Date: 2012-08-27 11:06:28

Open Document

File Size: 401,90 KB

Share Result on Facebook

City

CONICET / /

Country

France / Argentina / /

/

IndustryTerm

freeze operator / machinery / hybrid machinery / software verification community / /

Organization

Universidad de Buenos Aires / /

Person

Sergio Mera / Sergio Merab / Reli / Santiago Figueirab / Nancy Grand Est / Santiago Figueira / Carlos Areces / /

Position

MP / model / /

ProgrammingLanguage

ML / /

SocialTag