Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computational Logic and Proof Theory
  • Produktbild: Computational Logic and Proof Theory
Band 713

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1997

Abbildungen

IX, 355 p.

Herausgeber

Georg Gottlob + weitere

Verlag

Springer Berlin

Seitenzahl

355

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63385-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1997

Abbildungen

IX, 355 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

355

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63385-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computational Logic and Proof Theory
  • Produktbild: Computational Logic and Proof Theory
  • Paramodulation, superposition, and simplification.- Explaining Gentzen's consistency proof within infinitary proof theory.- Alogtime algorithms for tree isomorphism, comparison, and canonization.- Ultrafilter logic and generic reasoning.- Informal rigor and mathematical understanding.- Resolution, inverse method and the sequent calculus.- Subtyping over a lattice (abstract).- A new method for bounding the complexity of modal logics.- Parameter free induction and reflection.- Looking for an analogue of Rice's Theorem in circuit complexity theory.- Two connections between Linear Logic and ?ukasiewicz Logics.- Structuring of computer-generated proofs by cut introduction.- NaDSyL and some applications.- Markov's rule is admissible in the set theory with intuitionistic logic.- Bounded hyperset theory and web-like data bases.- Invariant definability.- Comparing computational representations of Herbrand models.- Restart tableaux with selection function.- Two semantics and logics based on theGödel interpretation.- On the completeness and decidability of a restricted first order linear temporal logic.- Propositional quantification in intuitionistic logic.- Sketch-as-proof.- Translating set theoretical proofs into type theoretical programs.- Denotational semantics for polarized (but-non-constrained) LK by means of the additives.- The undecidability of simultaneous rigid E-unification with two variables.- The tangibility reflection principle for self-verifying axiom systems.- Upper bounds for standardizations and an application.