Vor Ort
Merkzettel Warenkorb
Produktbild: Computer Science Logic
Band 533

Computer Science Logic 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1996

Abbildungen

VIII, 492 p.

Herausgeber

Hans Kleine Buening

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

756 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61377-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1996

Abbildungen

VIII, 492 p.

Herausgeber

Hans Kleine Buening

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

756 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61377-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Incompleteness of a first-order gödel logic and some temporal logics of programs.- Semantics of non-terminating rewrite systems using minimal coverings.- Congruence Types.- Deduction by combining semantic tableaux and integer programming.- leanEA: A lean evolving algebra compiler.- A proof system for finite trees.- Representing unification in a logical framework.- Decision procedures using model building techniques.- A note on the relation between polynomial time functionals and Constable's class K.- First order logic, fixed point logic and linear order.- Simultaneous rigid E-unification is undecidable.- An evolving algebra abstract machine.- Rewriting with extensional polymorphic ?-calculus.- Languages and logical definability in concurrency monoids.- Generalized implicit definitions on finite structures.- The railroad crossing problem: An experiment with instantaneous actions and immediate reactions.- A logical aspect of parametric polymorphism.- On the modal logic K plus theories.- Improved decision procedures for the modal logics K, T and S4.- A fully abstract denotational model for observational precongruence.- On sharply bounded length induction.- Effective strategies for enumeration games.- Bounded fixed-point definability and tabular recognition of languages.- Equivalences among various logical frameworks of partial algebras.- Some extensions to propositional mean-value calculus: Expressiveness and decidability.- Theorem proving modulo associativity.- Positive deduction modulo regular theories.