How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

Educational Videos and Scientific Workshops

Scientific Information Database

ISSN: 2588-4824

Home
Journals
Seminars
Plans
Workshops
Blog
Structure
About
Contact
Old Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Issue Information

THEORETICAL COMPUTER SCIENCE
Year:2016 | Volume:612 | Issue:-|Papers Count:1

Archive

Year

Volume(Issue)

Issues

Journal Article

Download

فارسی Version

Title:

MODEL CHECKING COMPUTATION TREE LOGIC OVER FINITE LATTICES

Author(s):

PAN H. | LI Y.

Journal:

THEORETICAL COMPUTER SCIENCE

Issue Info:

Year:
2016
Volume:
612
Issue:
-
Pages:
45-62

Keywords:

Abstract:

Yearly Impact: مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Citation 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Refrence 0

Scientific Information Database

ISSN: 2588-4824

Journal Issue Information

THEORETICAL COMPUTER SCIENCE Year:2016 | Volume:612 | Issue:-|Papers Count:1

THEORETICAL COMPUTER SCIENCE
Year:2016 | Volume:612 | Issue:-|Papers Count:1