Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science
Band 1234

Logical Foundations of Computer Science 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.1997

Herausgeber

Sergei Adian + weitere

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

674 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63045-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.1997

Herausgeber

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

674 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63045-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: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science
  • Topological semantics for hybrid systems.- Domain-free pure type systems.- Generic queries over quasi-o-minimal domains.- Towards computing distances between programs via Scott domains.- A safe recursion scheme for exponential time.- Finite model theory, universal algebra and graph grammars.- Complexity of query answering in logic databases with complex values.- Recognition of deductive data base stability.- The concurrency complexity for the Horn fragment of linear logic.- Studying algorithmic problems for free semi-groups and groups.- Learning small programs with additional information.- Cut elimination for the second order propositional logic with Hilbert's ?-symbol, extensionality, and full comprehension.- Finite bases of admissible rules for the logic S52 C.- An algebraic correctness criterion for intuitionistic proof-nets.- Towards a theory of recursive structures.- On the complexity of prefix formulas in modal logic of subset spaces.- The undecidability of second order linear affine logic.- Operational logic of proofs with functionality condition on proof predicate.- On linear ordering of strongly extensional finitely-branching graphs and non-well-founded sets.- Functions for the general solution of parametric word equations.- A proof procedure for hereditary Harrop formulas with free equality.- Basic forward chaining construction for logic programs.- Decidability and undecidability of the halting problem on Turing machines, a survey.- Case study: Additive linear logic and lattices.- Some decision problems for traces.- Existential instantiation and strong normalization.- Models for the logic of proofs.- Interpretation of the full computation tree logic CTL* on sets of infinite sequences.- Type introduction for equational rewriting.- Capturing bisimulation-invariant Ptime.- Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic.- A decidable fragment of second order linear logic.- Some results on Propositional Dynamic Logic with fixed points.- Quasi-characteristic inference rules for modal logics.- Provability logic with operations on proofs.- Formal verification of logic programs: Foundations and implementation.- Unification of terms with term-indexed variables.- Back-forth equivalences for design of concurrent systems.- Association nets: An alternative formalization of common thinking.- Simulating ?-expansions with ?-reductions in the second-order polymorphic ?-rcalculus.- Logical schemes for first order theories.- Verification of PLTL formulae by means of monotone disjunctive normal forms.