- 5 Ergebnisse
Kleinster Preis: € 4,43, größter Preis: € 93,08, Mittelwert: € 73,67
1
Rewriting Techniques and Applications
Bestellen
bei Averdo.com
€ 84,79
Versand: € 0,001
Bestellengesponserter Link

Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540614647

Erscheinungsdatum: 01.07.1996, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Rewriting Techniques and Applications, Titelzusatz: 7th International Conference, RTA-96, New … Mehr…

Nr. 71098475. Versandkosten:, Next Day, DE. (EUR 0.00)
2
Rewriting Techniques and Applications - Harald Ganzinger
Bestellen
bei Springer.com
€ 93,08
Versand: € 0,001
Bestellengesponserter Link

Harald Ganzinger:

Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540614647

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 r… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Bestellen
bei Biblio.co.uk
$ 4,99
(ca. € 4,43)
Versand: € 18,491
Bestellengesponserter Link
Ganzinger, Harald [Editor]:
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1996

ISBN: 9783540614647

Springer, 1996-08-16. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1996-08-16, 3

Versandkosten: EUR 18.49 GuthrieBooks
4
Rewriting Techniques and Applications
Bestellen
bei eBook.de
€ 92,99
Versand: € 0,001
Bestellengesponserter Link
Rewriting Techniques and Applications - neues Buch

ISBN: 3540614648

Rewriting Techniques and Applications ab 92.99 EURO 7th International Conference RTA-96 New Brunswick NJ USA July 27 - 30 1996. Proceedings. Auflage 1996 Medien > Bücher, [PU: Springer, B… Mehr…

Nr. 7029084. Versandkosten:, , DE. (EUR 0.00)
5
Rewriting Techniques and Applications - Harald Ganzinger
Bestellen
bei lehmanns.de
€ 93,08
Versand: € 0,001
Bestellengesponserter Link
Harald Ganzinger:
Rewriting Techniques and Applications - Taschenbuch

1996, ISBN: 9783540614647

7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1996

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

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

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540614647
ISBN (ISBN-10): 3540614648
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin
456 Seiten
Gewicht: 0,684 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-04T18:08:03+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-10-28T21:53:27+02:00 (Vienna)
ISBN/EAN: 3540614648

ISBN - alternative Schreibweisen:
3-540-61464-8, 978-3-540-61464-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: max planck, cken, conference
Titel des Buches: new brunswick, eso conference, proceedings the 7th international conference, technique science, lecture notes computer science, rewriting


Daten vom Verlag:

Autor/in: Harald Ganzinger
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Verlag: Springer; Springer Berlin
440 Seiten
Erscheinungsjahr: 1996-07-01
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 1,400 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 440 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automatische Deduktion; Ersetzungssysteme; Höherstufige Logiken; automated deduction; graph rewriting; higher-order logics; proving; rewriting systems; term rewriting; theorem proving; Theory of Computation; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence; Software Engineering; Theory of Computation; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Artificial Intelligence; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; EA

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.

< zum Archiv...