Back to Results
First PageMeta Content
FO / Metaphilosophy / Age / Interpretation / Mathematics / Model theory / Logic / Finite model theory


doi:j.apal
Add to Reading List

Document Date: 2008-04-08 22:41:37

Open Document

File Size: 628,24 KB

Share Result on Facebook

Company

Elsevier B.V. / B. / /

Country

Chile / /

/

Facility

University of Chile / University of Edinburgh / /

IndustryTerm

model-theoretic tools / e-type / low-complexity model-checking algorithms / computing / /

Organization

Laboratory for Foundations of Computer Science / School of Informatics / University of Chile / Department of Computer Science / Q. Organization / University of Edinburgh / /

Person

Pablo Barcel / Leonid Libkin / Marcelo Arenas / /

Position

Corresponding author / /

Technology

low-complexity model-checking algorithms / dom / /

URL

www.elsevier.com/locate/apal / /

SocialTag