AN ALGORITHM TO VERIFY FORMULAS BY MEANS OF (0,S,=)-BDDS

Q: 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.

Q: 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.

Q: 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.

Q: 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.

Badban Bahareh; de Pol Jaco van

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

Seminar Paper

Paper Information

Seminar: CONFRANCE SALANE ANJOMANE COMPUTER IRAN
Year:2004 | Issue:9

Download Full-Text

View:

167

Download:

Information Seminar Paper

Title

AN ALGORITHM TO VERIFY FORMULAS BY MEANS OF (0,S,=)-BDDS

Author(s)

Badban Bahareh | de Pol Jaco van

Keywords

ALGORITHM

DECISION DIAGRAMS

EQUALITY

THEOREM PROVING

DECISION PROCEDURE

NATU- RAL NUMBERS

Abstract

IN THIS ARTICLE WE PROVIDE AN ALGORITHM TO VERIFY FORMULAS OF THE FRAGMENT OF RST ORDER LOGIC, CONSISTING OF QUANTI ER FREE LOGIC WITH ZERO, SUCCESSOR AND EQUALITY. WE RST DEVELOP A REWRITE SYSTEM TO EXTRACT AN EQUIVALENT ORDERED (0,S,=)-BDD FROM ANY GIVEN (0,S,=)-BDD. THEN WE SHOW COMPLETENESS OF THE REWRITE SYSTEM. FINALLY WE MAKE AN ALGORITHM WITH THE SAME RESULT AS THE REWRITE SYSTEM. GIVEN AN ORDERED (0,S,=)-BDDS WE ARE ABLE TO SEE IN CONSTANT TIME WHETHER THE FORMULA IS A TAUTOLOGY, A CONTRADICTION, OR ONLY SATIS ABLE.

Cites

No record.

References

No record.

Cite

APA: Copy

Badban, Bahareh, & de Pol, Jaco van. (2004). AN ALGORITHM TO VERIFY FORMULAS BY MEANS OF (0,S,=)-BDDS. Confrance Salane Anjomane Computer Iran. SID. https://sid.ir/paper/905587/en

Vancouver: Copy

Badban Bahareh, de Pol Jaco van. AN ALGORITHM TO VERIFY FORMULAS BY MEANS OF (0,S,=)-BDDS. 2004. Available from: https://sid.ir/paper/905587/en

IEEE: Copy

Bahareh Badban, and Jaco van de Pol, “AN ALGORITHM TO VERIFY FORMULAS BY MEANS OF (0,S,=)-BDDS,” presented at the Confrance Salane Anjomane Computer Iran. 2004, [Online]. Available: https://sid.ir/paper/905587/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops