{totalEditions} {editionMessage} in {totalHoldingCount} {libraryMessage}

This edition in {totalHoldingCount} libraries

{libraryName} added to favorite libraries

{libraryName} removed from favorite libraries

Better World Books

AbeBooks

VitalSource

Amazon

Barnes & Noble

Select this title to view the detailed record for {title}

Added: {formattedDate}

New at the library

All ({x})

Fiction

Nonfiction

View access options

Access from your libraries

Borrow from {library}

{formattedDistance} away

Borrow

Borrow from {institution} near {location}

Access Online

Request this item via:

Get it from {institution}

Borrow from your library

Borrow from {institution}

Unable to find any access options. Search the library catalog.

Check out this item I found on https://worldcat.org

Cite list {title}

Cite

Share

Add to list

Share list {title}

Item shared from WorldCat.org

Edition

Publisher

View all Formats and Editions for {title}

Dissertation

View all formats and editions

Unable to find libraries on WorldCat with this item.

Access

ISSN

Cast

Language Notes

Notes

Genre

ISBN

Subjects

Medium of Performance

Event Notes

Reproduction Notes

Show less information

Series

Publication

Credits

Show more information

Performers

Additional Physical Form Entry

Click this link to view the DOI record {x}

Physical Description

OCLC Number / Unique Identifier

Target Audience

Numeric Designation of Musical Work

More Information

Cartographic Mathematical Data

We tailor your experience based on the order of your favorite libraries.

Drag or select a library from below to update the order

use the arrow up and down keys to change the order

{0}, order {1} in the list of {2} libraries

Unable to save libraries order. Please try again

To save changes to the library order, press Done

You can set up to 1 favorite library

WorldCat.org

Before we transfer your account, would you like to move your lists and libraries as well?

Monadic second order logic, tree automata and forbidden minors.- On the reduction theory for average case complexity.- From prolog algebras towards WAM-A mathematical study of implementation.- A formal operational semantics for languages of type Prolog III.- Efficiency considerations on goal-directed forward chaining for logic programs.- Decision problems for tarski and presburger arithmetics extended with sets.- A fast garbage collection algorithm for WAM - based PROLOG.- A resolution variant deciding some classes of clause sets.- Subclasses of quantified boolean formulas.- Algorithmic proof with diminishing resources part 1.- Cutting plane versus frege proof systems.- RAM with compact memory: a realistic and robust model of computation.- Randomness and turing reducibility restraints.- Towards an efficient tableau proof procedure for multiple-valued logics.- Interactive proof systems: Provers, rounds, and error bounds.- Logics for belief dependence.- A generalization of stability and its application to circumscription of positive introspective knowledge.- The complexity of adaptive error-correcting codes.- Ramsey's theorem in bounded arithmetic.- Nontrivial lower bounds for some NP-problems on directed graphs.- Expansions and models of autoepistemic theories.- On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle.- On the tracking of loops in automated deductions.- The gap-language-technique revisited.

A selection of papers presented at the workshop CSL'90 which was held at the Max-Planck-Haus in Heidelberg, Germany from October 1-5, 1990

"The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science."--PUBLISHER'S WEBSITE

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings