Browse

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

ACM Transactions on Computational Logic (TOCL)

2012
- Volume 13
  - Issue 2 (Apr)
  - Issue 1 (Jan)
2011
- Volume 12
2010
- Volume 12
  - Issue 1 (Oct)
- Volume 11
2009
- Volume 11
  - Issue 1 (Oct)
- Volume 10
2008
- Volume 9
2007
- Volume 9
  - Issue 1 (Dec)
- Volume 8
2006
- Volume 7
2005
- Volume 6
2004
- Volume 5
2003
- Volume 4
2002
- Volume 3
2001
- Volume 2
2000
- Volume 1
  - Issue 2 (Oct)
  - Issue 1 (Jul)

Bookmark
More Like This S17WWsFlwi $2.99

Nominal Unification from a Higher-Order Perspective

Levy, Jordi; Villaret, Mateu

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This tgPRnUkhME $2.99

Simplification Rules for Intuitionistic Propositional Tableaux

Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This jpv8WMY2A6 $2.99

Model Checking of Recursive Probabilistic Systems

Etessami, Kousha; Yannakakis, Mihalis

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This m0U17YCQ4y $2.99

Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation

Shakarian, Paulo; Simari, Gerardo I.; Subrahmanian, V. S.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This gwlQdZU3tT $2.99

The Complexity of Reasoning for Fragments of Autoepistemic Logic

Creignou, Nadia; Meier, Arne; Vollmer, Heribert; Thomas, Michael

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This VMyOVQ0omh $2.99

An Implicit Characterization of PSPACE

Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This UhpB2RMEUh $2.99

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs

Berardi, Stefano; de’Liguoro, Ugo

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This Tv40JNWwqj $2.99

Complexity of Data Dependence Problems for Program Schemas with Concurrency

Danicic, Sebastian; Hierons, Robert M.; Laurence, Michael R.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012
Bookmark
More Like This sBzKGnZ15Z $2.99

On the Relative Strength of Pebbling and Resolution

Nordström, Jakob

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

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.

ACM Transactions on Computational Logic (TOCL)

Nominal Unification from a Higher-Order Perspective

Levy, Jordi; Villaret, Mateu

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Simplification Rules for Intuitionistic Propositional Tableaux

Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Model Checking of Recursive Probabilistic Systems

Etessami, Kousha; Yannakakis, Mihalis

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation

Shakarian, Paulo; Simari, Gerardo I.; Subrahmanian, V. S.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

The Complexity of Reasoning for Fragments of Autoepistemic Logic

Creignou, Nadia; Meier, Arne; Vollmer, Heribert; Thomas, Michael

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

An Implicit Characterization of PSPACE

Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs

Berardi, Stefano; de’Liguoro, Ugo

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Complexity of Data Dependence Problems for Program Schemas with Concurrency

Danicic, Sebastian; Hierons, Robert M.; Laurence, Michael R.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

On the Relative Strength of Pebbling and Resolution

Nordström, Jakob

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

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:

ACM Transactions on Computational Logic (TOCL)

1 - 9 of 9 articles

Levy, Jordi; Villaret, Mateu

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Etessami, Kousha; Yannakakis, Mihalis

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Shakarian, Paulo; Simari, Gerardo I.; Subrahmanian, V. S.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Creignou, Nadia; Meier, Arne; Vollmer, Heribert; Thomas, Michael

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Berardi, Stefano; de’Liguoro, Ugo

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Danicic, Sebastian; Hierons, Robert M.; Laurence, Michael R.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2) Association for Computing Machinery – Apr 1, 2012

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 ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012

Follow ACM Transactions on Computational Logic (TOCL) , Volume 13 (2)
Association for Computing Machinery – Apr 1, 2012