## Logic, Algebra, and Computation: International Summer School Directed by F.L. Bauer ... [et Al.] |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Tucker | 1 |

Zohar Manna Richard Waldinger | 41 |

J Alan Robinson | 109 |

Copyright | |

8 other sections not shown

### Other editions - View all

Logic, Algebra, and Computation: International Summer School Friedrich L. Bauer Limited preview - 2012 |

### Common terms and phrases

abstract data types algebra algorithm application arity assertion assume autoepistemic autoepistemic logic axioms calcul called classical closed term Computer Science concurrent logic languages concurrent logic programming construct deduction defined definition denotes derivation dynamic logic embedding equivalent evaluation example expressions fail FGHCav finite first-order logic formula goal atom guard hence implementation induction hypothesis input instantiated interpretation intuitionistic Kripke frame lambda Lemma logic programming languages logical variable mathematical meta-interpreter modal logic most-general unifier nondeterminism nondeterministic normal notation notion Nuprl occurrences operator ordinal notations output entry parallel PARLOG Petri nets predicate predicate logic primitive procedure clauses processor Prolog proof proposition propositional logic protocol provable radicaux read-only relation résidus resolution rule scas Section semantics semicomputable specification stream structure subset substitution suits synchronization syntax tableaux techniques termination test unification Theorem théorème theory transfinite induction transition system true well-founded relation