Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Science Logic
  • Produktbild: Computer Science Logic
Band 1414

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.05.1998

Abbildungen

VIII, 520 p.

Herausgeber

Mogens Nielsen + weitere

Verlag

Springer Berlin

Seitenzahl

520

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

791 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64570-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.05.1998

Abbildungen

VIII, 520 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

520

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

791 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64570-2

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: Computer Science Logic
  • Produktbild: Computer Science Logic
  • Call-by-value games.- LISA: A specification language based on WS2S.- Evolution as a computational engine.- Timeless games.- From action calculi to linear logic.- A sequent calculus for circumscription.- Linear lower bounds and simulations in frege systems with substitutions.- A formulation of linear logic based on dependency-relations.- Resolution and the weak pigeonhole principle.- Higher-order matching and tree automata.- A proof-theoretical investigation of Zantema's problem.- Spectra with only unary function symbols.- Classical proofs via basic logic.- Canonization for Lk-equivalence is Hard.- Full abstractness for a functional/concurrent language with higher-order value-passing.- A duality theory for quantitative semantics.- A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion.- Equational axioms of test algebra.- Mona & Fido: The logic-automaton connection in practice.- Existence of reduction hierarchies.- A game-theoretic, concurrent and fair model of the typed ?-calculus, with full recursion.- A conjunctive logical characterization of nondeterministic linear time.- On the computational complexity of type 2 functionals.- Categories with algebraic structure.- Concurrent constraint programming and non-commutative logic.- A hierarchical approach to monadic second-order logic over graphs.- The monadic quantifier alternation hierarchy over grids and pictures.- Padding and the expressive power of existential second-order logics.- Rich ?-words and monadic second-order arithmetic.- A simple ordinal recursive normalization of Gödel's T.