Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Search results

Search results page

Articles (3)

Journals (0)

1-3 of 3 results for Elementary Linear Logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Elementary Complexity and Geometry of Interaction

Available access

Research article

First published February, 2001

Elementary Complexity and Geometry of Interaction

Patrick Baillot, Marco Pedicini

Fundamenta Informaticae

Select article: Principal Typing for Lambda Calculus in Elementary Affine Logic

Available access

Research article

First published February, 2005

Principal Typing for Lambda Calculus in Elementary Affine Logic

Paolo Coppola, Simona Ronchi della Rocca

Fundamenta Informaticae

Select article: Bounded Model Checking for the Universal Fragment of CTL

Available access

Research article

First published June, 2002

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

1
10 / page

Filter Results

Article type

Publication date

Subjects

Access