Browse

New! Learn more about the all new DeepDyve personalized home page where you can quickly skim your favorite journals all from one place

Journal of Logic And Computation

2011
- Volume 21
  - Issue 1 (Feb)
2010
- Volume 20
2009
- Volume 19
2008
- Volume 18
2007
- Volume 17
2006
- Volume 16
2005
- Volume 15
2004
- Volume 14
2003
- Volume 13
2002
- Volume 12
2001
- Volume 11
2000
- Volume 10
1999
- Volume 9

Bookmark
More Like This 1SGk7kbvvG Preview Only

Parallel SAT Solving in Bounded Model Checking

Ábrahám, Erika

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011
Bookmark
More Like This WETSFg7Xf6 Preview Only

A Database Approach to Distributed State-Space Generation

Blom, Stefan

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011
Bookmark
More Like This MT4IXHoCDC Preview Only

To Parallelize or to Optimize?

Ezekiel, Jonathan

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011
Bookmark
More Like This O70AfrBopO Preview Only

Parallel and Distributed Methods in Verification

Černá Ivana

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011
Bookmark
More Like This Ege2GTN9Dz Preview Only

Distributed Algorithms for SCC Decomposition

Barnat, Jiří; Chaloupka, Jakub

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011
Bookmark
More Like This A1KId0mFxE Preview Only

Speculative Image Computation for Distributed Symbolic Reachability Analysis

Chung, Ming-Ying

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

About DeepDyve

DeepDyve provides simple and affordable access to millions of articles across thousands of peer-reviewed journals. Content from the world's leading publishers including Reed Elsevier, Springer, Wiley-Blackwell, and more. DeepDyve — the simplest way to get the articles you need.
Rent from the Cloud - starting at $0.99
With DeepDyve, you can "rent" and read an article through your browser— for as little as $0.99. What exactly is "renting"? Renting an article means you can read the full article as often as you like until it expires (7 days or longer), but it cannot be downloaded or printed. Renting allows you to save up to 90%, so you can read articles without the worry.

"Rent to Own" — Buy PDF's, Save up to 20%
With DeepDyve's monthly plans (starting at $5.99), you not only get savings on rentals, you also receive 20% discount coupons for your PDF purchases. What happens if you don't use all your rental tokens or coupons this month? No problem, they automatically roll-over so you can stockpile them for when you need them.
14-day Risk Free Trial — Commitment Free, Cancel Anytime

Still thinking it over? Then try our service for free for 14 days. You can cancel at any time within the trial, no questions asked, and your credit card will not be billed. Should you continue with our service beyond the trial, you will only be charged month-to-month, so you can still cancel at any time — there's no contract or long-term commitment.
Privacy and Security

DeepDyve values your privacy and security. We will never sell your personal information to any third party.

Sign Up for a DeepDyve Account

Bookmark an Article

To bookmark an article, please log in first, or sign up for a DeepDyve account if you don't already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.

Please refresh to generate a new download link

Your article download link has expired. Please refresh this page to obtain a new download link and try again.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.

Journal of Logic And Computation

Parallel SAT Solving in Bounded Model Checking

Ábrahám, Erika

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

A Database Approach to Distributed State-Space Generation

Blom, Stefan

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

To Parallelize or to Optimize?

Ezekiel, Jonathan

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Parallel and Distributed Methods in Verification

Černá Ivana

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Distributed Algorithms for SCC Decomposition

Barnat, Jiří; Chaloupka, Jakub

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Speculative Image Computation for Distributed Symbolic Reachability Analysis

Chung, Ming-Ying

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Welcome to DeepDyve

About

Support

About DeepDyve

14-day Risk Free Trial — Commitment Free, Cancel Anytime

Privacy and Security

Bookmark an Article

Subscribe to Journal Email Alerts

Please refresh to generate a new download link

Follow a Journal

Advanced Filters:

Specific Data Sources:

Journal of Logic And Computation

1 - 6 of 6 articles

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

Barnat, Jiří; Chaloupka, Jakub

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1) Oxford University Press – Feb 1, 2011

About DeepDyve

14-day Risk Free Trial — Commitment Free, Cancel Anytime

Privacy and Security

Bookmark an Article

Subscribe to Journal Email Alerts

Please refresh to generate a new download link

Follow a Journal

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011

Follow Journal of Logic And Computation , Volume 21 (1)
Oxford University Press – Feb 1, 2011