- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 61,99, Mittelwert: € 55,91
1
Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Jieh Hsiang Edito
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link

Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Jieh Hsiang Edito - neues Buch

ISBN: 9783540592006

This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full re… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Rewriting Techniques and Applications
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540592006

This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full rev… Mehr…

Nr. 978-3-540-59200-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
3
Rewriting Techniques and Applications 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings - Hsiang, Jieh (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hsiang, Jieh (Herausgeber):
Rewriting Techniques and Applications 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings - neues Buch

1995

ISBN: 3540592008

1995 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, E-Unifikation; ErsetzunghöhererOrdnung; Ersetzungssyste… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Rewriting Techniques and Applications - Jieh Hsiang
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jieh Hsiang:
Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540592006

*Rewriting Techniques and Applications* - 6th International Conference RTA-95 Kaiserslautern Germany April 5 - 7 1995. Proceedings. Auflage 1995 / Taschenbuch für 53.49 € / Aus dem Bereic… Mehr…

3540592008. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 67,00
(ca. € 61,99)
Versand: € 9,251
Bestellen
Details beim Anbieter
gesponserter Link
VAN LEEUWEN, J.,:
REWRITING TECHNIQUES AND APPLICATIONS - 6TH INTERNATIONAL CONFERENCE, RTA-95, KAISERSLAUTERN, GERMANY, APRIL 5-7, 1995. PROCEEDINGS - Taschenbuch

ISBN: 9783540592006

Springer, 1995. N/A. Paperback. New/New., Springer, 1995, 6

IND - IndienVersandkosten: EUR 9.25 DELHI BOOK STORE
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Rewriting Techniques and Applications
Autor:
Titel:
ISBN-Nummer:

9783540592006


This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540592006
ISBN (ISBN-10): 3540592008
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin Heidelberg
492 Seiten
Gewicht: 0,737 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-10-31T17:10:14+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-11-21T11:33:49+01:00 (Zurich)
ISBN/EAN: 9783540592006

ISBN - alternative Schreibweisen:
3-540-59200-8, 978-3-540-59200-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mark pierre, jean pierre willem
Titel des Buches: 1995 band, 914, proceedings the 6th international conference, kaiserslautern, lecture notes computer science, germany, april, rewriting

Daten vom Verlag:

Autor/in: Jieh Hsiang
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
Verlag: Springer; Springer Berlin
480 Seiten
Erscheinungsjahr: 1995-03-22
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 480 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; E-Unifikation; Ersetzung höherer Ordnung; Ersetzungssysteme; Resolution; algorithm; algorithms; automatische Deduktion; calculus; higher-order rewriting; lambda calculus; logic; proving; rewrite systems; semantics; term rewriting; Compilers and Interpreters; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Theoretische Informatik; Software Engineering; Mathematik für Informatiker; EA

On some mathematical logic contributions to rewriting techniques: Lost heritage.- Modularity of completeness revisited.- Automatic termination proofs with transformation orderings.- A termination ordering for higher order rewrite systems.- A complete characterization of termination of 0p 1q?1r 0s.- On narrowing, refutation proofs and constraints.- Completion for multiple reduction orderings.- Towards an efficient construction of test sets for deciding ground reducibility.- Term rewriting in contemporary resolution theorem proving.- ??!?=1 Optimizing optimal ?-calculus implementations.- Substitution tree indexing.- Concurrent garbage collection for concurrent rewriting.- Lazy rewriting and eager machinery.- A rewrite mechanism for logic programs with negation.- Level-confluence of conditional rewrite systems with extra variables in right-hand sides.- A polynomial algorithm testing partial confluence of basic semi-Thue systems.- Problems in rewriting applied to categorical concepts by the example of a computational comonad.- Relating two categorical models of term rewriting.- Towards a domain theory for termination proofs.- Higher-order rewrite systems.- Infinitary lambda calculi and böhm models.- Proving the genericity lemma by leftmost reduction is simple.- (Head-)normalization of typeable rewrite systems.- Explicit substitutions with de bruijn's levels.- A restricted form of higher-order rewriting applied to an HDL semantics.- Rewrite systems for integer arithmetic.- General solution of systems of linear diophantine equations and inequations.- Combination of constraint solving techniques: An algebraic point of view.- Some independence results for equational unification.- Regular substitution sets: A means of controlling E-unification.- DISCOUNT: A system fordistributed equational deduction.- ASTRE: Towards a fully automated program transformation system.- Parallel ReDuX ? PaReDuX.- STORM: A many-to-one associative-commutative matcher.- LEMMA: A system for automated synthesis of recursive programs in equational theories.- Generating polynomial orderings for termination proofs.- Disguising recursively chained rewrite rules as equational theorems, as implemented in the prover EFTTP Mark 2.- Prototyping completion with constraints using computational systems.- Guiding term reduction through a neural network: Some preliminary results for the group theory.- Studying quasigroup identities by rewriting techniques: Problems and first results.- Problems in rewriting III.
< zum Archiv...