Vor Ort
Merkzettel Warenkorb
  • Produktbild: Rewriting Techniques and Applications
  • Produktbild: Rewriting Techniques and Applications
Band 1103

Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.1996

Herausgeber

Harald Ganzinger

Verlag

Springer Berlin

Seitenzahl

440

Maße (L/B/H)

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

Gewicht

686 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61464-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.1996

Herausgeber

Harald Ganzinger

Verlag

Springer Berlin

Seitenzahl

440

Maße (L/B/H)

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

Gewicht

686 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61464-7

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: Rewriting Techniques and Applications
  • Produktbild: Rewriting Techniques and Applications
  • Rewrite-based automated reasoning: Challenges ahead.- Fine-grained concurrent completion.- AC-complete unification and its application to theorem proving.- Superposition theorem proving for abelian groups represented as integer modules.- Symideal Gröbner bases.- Termination of constructor systems.- Dummy elimination in equational rewriting.- On proving termination by innermost termination.- A recursive path ordering for higher-order terms in ?-long ?-normal form.- Higher-order superposition for dependent types.- Higher-order narrowing with definitional trees.- Design of a proof assistant.- A compiler for nondeterministic term rewriting systems.- Combinatory reduction systems with explicit substitution that preserve strong normalisation.- Confluence properties of extensional and non-extensional ?-calculi with explicit substitutions (extended abstract).- On the power of simple diagrams.- Coherence for sharing proof nets.- Modularity of termination in term graph rewriting.- Confluence of terminating conditional rewrite systems revisited.- Applications of rewrite techniques in monoids and rings.- Compositional term rewriting: An algebraic proof of Toyama's theorem.- The first-order theory of one-step rewriting is undecidable.- An algorithm for distributive unification.- On the termination problem for one-rule semi-Thue system.- Efficient second-order matching.- Linear second-order unification.- Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type.- Decidable approximations of term rewriting systems.- Semantics and strong sequentially of priority term rewriting systems.- Higher-order families.- A new proof manager and graphic interface for the larch prover.- ReDuX 1.5: New facets of rewriting.- CiME: Completion modulo E.- Distributed larch prover (DLP): An experiment in parallelizing a rewrite-rule based prover.- EPIC: An equational language Abstract machine and supporting tools.- SPIKE-AC: A system for proofs by induction in Associative-Commutative theories.- On gaining efficiency in completion-based theorem proving.