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

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.1997

Abbildungen

IX, 479 p.

Herausgeber

Dirk van Dalen + weitere

Verlag

Springer Berlin

Seitenzahl

479

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63172-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.1997

Abbildungen

IX, 479 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

479

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63172-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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
  • Four-valued diagnoses for stratified knowledge-bases.- Fast cut-elimination by projection.- On the subject reduction property for algebraic type systems.- Presheaf models for concurrency.- Directed virtual reductions.- Bounded-variable fixpoint queries are PSPACE-complete.- Graph rewriting semantics for functional programming languages.- An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory.- Relative undecidability in term rewriting.- Extending models of second order predicate logic to models of second order dependent type theory.- Eta-expansions in F ?.- Cut-free display calculi for relation algebras.- Computational aspects of arity hierarchies.- Weak semantics based on lighted button pressing experiments.- Kleene algebra with tests: Completeness and decidability.- Monadic NP and built-in trees.- Coercive subtyping in type theory.- Proofs in system F ? can be done in system F ? 1 .- Optimization problems with approximation schemes.- Computational representations of herbrand models using grammars.- Exact pairs for abstract bounded reducibilities.- The logic of explicitly presentation-invariant circuits.- Social confluence in client-server systems.- A type-free resource-aware ?-calculus.- Inductive definitions with decidable atomic formulas.- Call-by-Value, call-by-name and the logic of values.- On Cartesian monoids.- New intuitionistic logical constants: Undecidability of the conservativeness problem.