Sign inSubmit

Journal of Computer Science

ISSN 1549-3636 (print)eISSN 1552-6607 (online) Open access
Sign up for alertsSubmit manuscript
computersciencejournal.org is not ours. This journal is published only at thescipub.com/jcs. Report a suspicious emailcomputersciencejournal.org is not ours · Report
Research Article · Open access · Published 31 October 2007

On The Integration of Decision Diagrams in High Order Logic Based Theorem Provers: a Survey

Sa'ed Abed, Otmane Ait Mohamed, Ghiath Al Sammane
ArticleMetrics

Since publication

6,980Views
4,300PDF downloads
0Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 2025176112
Dec 202513881
Jan 202616990
Feb 202615056
Mar 202618678
Apr 202612297
May 202618581
Jun 202620680
Jul 202618275
Aug 202612385
Sep 202612989
Oct 202612284

Citing articles (0)

No article has cited this one yet. Citing articles are read from Crossref’s cited-by service every week and listed here with their journal and year, newest first.