Advanced Filters:
Title contains these words:
Author: Last name, First name
Date:
to

Specific Data Sources:

All Edit
- Acta Geoturistica
- Addleton Academic Publishers
- Allen Press
- Am. Soc for Pharma & Experimental Therapeutics
- American Academy of Orthopaedic Surgeons
- American Association for Clinical Chemistry
- American Association of Cancer Research
- American Association of Physicists in Medicine
- American Association of Physics Teachers
- American Economic Association
- American Folklore Society
- American Institute of Physics
- American Journal of Neuroradiology
- American Meteorological Society
- American Physical Society (APS)
- American Psychiatric Publishing, Inc (Book)
- American Psychiatric Publishing, Inc (Journal)
- American Public Health Association
- American Society for Investigative Pathology
- American Society For Microbiology
- American Society for Nutrition
- American Society of Plant Biologist
- American Vacuum Society
- Anales Galdosianos
- Annual Reviews
- arXiv (Cornell University)
- Ashland University
- Association for Computing Machinery
- Australian & New Zealand Association of Medieval & Early Modern Studies, Inc. (ANAZAMEMS, Inc.)
- Autobiography Society, Inc.
- Berghahn Books
- Bibliographical Society of the University of Virginia
- Bulletin of the Comediantes
- Center for Irish Studies at the University of St. Thomas
- Centre for Agricultural Bioscience International
- Clinical Trials
- DailyMed
- de Gruyter
- Department of Classics @ the University of Iowa
- Dictionary Society of North America
- Duke University Press
- Ecological Society of America
- eContent Management
- Edinburgh University Press
- Elsevier
- Emerald Publishing
- European Journal of Tourism Research
- European Medicines Agency
- European Patent Office Abstracts
- Fed of American Socs for Experimental Biology
- Fordham University Press
- Friends Historical Association
- Genetics Society of America
- Guilford Press
- Health Affairs
- Hindawi Publishing Corporation
- Hume Society
- i-manager Publications
- iMedPub, Internet Medical Publishing
- Informa Healthcare
- INFORMS
- Institut national d'études démographiques
- Institute of Electrical and Electronics Engineers
- Institute of Physics
- Institute of Southeast Asian Studies
- International Association of Science and Technology for Development
- International Union of Crystallography
- IOS Press
- James Joyce Research Center @ University College Dublin
- JB&JS
- La corónica: Journal of Medieval Hispanic Languages, Literatures & Culture
- Left Coast Press
- Linguistic Society of America
- Liverpool University Press
- Logos: Journal of Catholic Thought & Culture
- M.E. Sharpe
- Mary Ann Liebert
- MEDLINE Abstracts
- MIT Press
- National Association of Professors of Hebrew
- Nature Publishing Group (NPG)
- Oxford University Press
- Oxford University Press
- Penn State University Press
- Pier Professional
- PNAS
- Portland Press
- PsycARTICLES®
- PsycBOOKS®
- PsycCRITIQUES®
- Public Library of Science (PLoS) Journal
- PubMed Central
- Purdue University Press
- Radiological Society of North America, Inc.
- Rockefeller University Press
- Rocky Mountain Modern Language Association
- Royal College of Nursing (RCN)
- Royal Irish Academy
- Royal Society of Chemistry
- SAGE
- Scrivener Publishing
- Society for Japanese Studies
- Society for the Advancement of Scandinavian Study
- Sociological Demography Press
- Southeast Asia Program [Cornell University]
- Southwest Center (Univ of Arizona)
- SPIE
- Springer Journals
- Springer Protocols
- State University of New York Press
- Taylor & Francis
- Texas State Historical Association
- The American Physiological Society
- The Canadian Committee on Labour History
- The Scientist
- The Scriblerian and the Kit-Cats
- The Western Literature Association
- University of California Press
- University of Chicago Press
- University of Hawai'I Press
- University of Illinois Press
- University of Missouri
- University of Nebraska Press
- University of North Carolina Press
- University of Pennsylvania Press
- University of Tennessee
- University of Winnipeg
- University of Wisconsin Press
- US Patent Office Abstracts
- West Virginia University Press
- Wiley
- World IP Organization PCT Abstracts
- World Scientific Publishing Company
Select All | Select None

Journal Article Info:
- Journal Name:
- Publisher:
- ISSN:

Browse

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

Follow

ACM Transactions on Computational Logic (TOCL) Volume 5 Issue 2

2013
- Volume 14
  - Issue 1 (Feb)
2012
- Volume 13
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 0kF2VpNoI8 Rentable

Inflationary fixed points in modal logic

Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This XVR7lHhbF0 Rentable

Classes of term rewrite systems with polynomial confluence problems

Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This eF1Kjvyjv1 Rentable

Some applications of logic to feasibility in higher types

Ignjatovic, Aleksandar; Sharma, Arun

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This IM8ueN4Hh9 Rentable

Convergent approximate solving of first-order constraints by approximate quantifiers

Ratschan, Stefan

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This 8pMidyb6vX Rentable

A logic programming approach to knowledge-state planning: Semantics and complexity

Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This Lvhi6n6GME Rentable

A decomposition-based implementation of search strategies

Michel, Laurent; Van Hentenryck, Pascal

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This gzZAy4is28 Rentable

Optimal length tree-like resolution refutations for 2SAT formulas

Subramani, K.

Follow ACM Transactions on Computational Logic (TOCL) , Volume 5 (2) Association for Computing Machinery – Apr 1, 2004
Bookmark
More Like This YuhyOD6HJM Rentable

Automatic generation of rule-based constraint solvers over finite domains

Abdennadher, Slim; Rigotti, Christophe

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

Rent and Read Articles - for less than $1

Frustrated at spending $25 or more to purchase a PDF, only to find it doesn't provide the answers you need? With DeepDyve, you can "rent" and read entire articles conveniently in your browser - including full-text, images, charts and formatting just like the PDF - for less than $1.

Flexible Monthly Plans

We know your article needs can fluctuate, so we've made our monthly plans flexible. Each month you'll receive tokens for renting articles and 20% PDF discount coupons — Feel free to use them all at once, or save them up for a busy day.

14-day Risk Free Trial — No long-term commitments

Still thinking it over? Then try our service for free for 14 days. Cancel at any time within the trial, no questions asked, and your credit card will not be billed.

Buy Article PDFs for 20% off

With a monthly plan, you'll save 20% on PDF purchases from DeepDyve. Your savings on PDFs can more than pay for your entire monthly subscription.

ACM Transactions on Computational Logic (TOCL) Volume 5 Issue 2

Inflationary fixed points in modal logic

Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan

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

Classes of term rewrite systems with polynomial confluence problems

Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish

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

Some applications of logic to feasibility in higher types

Ignjatovic, Aleksandar; Sharma, Arun

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

Convergent approximate solving of first-order constraints by approximate quantifiers

Ratschan, Stefan

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

A logic programming approach to knowledge-state planning: Semantics and complexity

Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel

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

A decomposition-based implementation of search strategies

Michel, Laurent; Van Hentenryck, Pascal

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

Optimal length tree-like resolution refutations for 2SAT formulas

Subramani, K.

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

Automatic generation of rule-based constraint solvers over finite domains

Abdennadher, Slim; Rigotti, Christophe

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

Advanced Filters:

Specific Data Sources:

ACM Transactions on Computational Logic (TOCL) Volume 5 Issue 2

1 - 8 of 8 articles

Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan

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

Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish

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

Ignjatovic, Aleksandar; Sharma, Arun

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

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

Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel

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

Michel, Laurent; Van Hentenryck, Pascal

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

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

Abdennadher, Slim; Rigotti, Christophe

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