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

Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.07.1995

Abbildungen

XI, 553 p.

Herausgeber

Leszek Pacholski + weitere

Verlag

Springer Berlin

Seitenzahl

553

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

844 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60017-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.07.1995

Abbildungen

XI, 553 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

553

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

844 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60017-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Subtyping with singleton types.- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects.- The Girard Translation extended with recursion.- Decidability of higher-order subtyping with intersection types.- A ?-calculus structure isomorphic to Gentzen-style sequent calculus structure.- Usability: formalising (un)definedness in typed lambda calculus.- Lambda representation of operations between different term algebras.- Semi-unification and generalizations of a particularly simple form.- A mixed linear and non-linear logic: Proofs, terms and models.- Cut free formalization of logic with finitely many variables. Part I..- How to lie without being (easily) convicted and the lengths of proofs in propositional calculus.- Monadic second-order logic and linear orderings of finite structures.- First-order spectra with one binary predicate.- Monadic logical definability of NP-complete problems.- Logics for context-free languages.- Log-approximable minimization problems on random inputs.- Convergence and 0–1 laws for L ?,? k under arbitrary measures.- Is first order contained in an initial segment of PTIME?.- Logic programming in Tau Categories.- Reasoning and rewriting with set-relations I: Ground completeness.- Resolution games and non-liftable resolution orderings.- On existential theories of list concatenation.- Completeness of resolution for definite answers with case analysis.- Subrecursion as a basis for a feasible programming language.- A sound metalogical semantics for input/output effects.- An intuitionistic modal logic with applications to the formal verification of hardware.- Towards machine-checked compiler correctness for higher-order pure functional languages.- Powerdomains, powerstructures and fairness.- Canonical forms fordata-specifications.- An algebraic view of structural induction.- On the interpretation of type theory in locally cartesian closed categories.- Algorithmic aspects of propositional tense logics.- Stratified default theories.- A homomorphism concept for ?-regularity.- Ramified recurrence and computational complexity II: Substitution and poly-space.- General form recursive equations I.- Modal logics preserving admissible for S4 inference rules.- A bounded set theory with Anti-Foundation Axiom and inductive definability.