- 5 Resultados
precio mínimo: € 4,43, precio máximo: € 93,08, precio promedio: € 73,67
1
Rewriting Techniques and Applications
Pedir
por Averdo.com
€ 84,79
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Rewriting Techniques and Applications - Pasta blanda

ISBN: 9783540614647

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

Nr. 71098475. Gastos de envío:, Next Day, DE. (EUR 0.00)
cerrar (X)
2
Rewriting Techniques and Applications - Harald Ganzinger
Pedir
por Springer.com
€ 93,08
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Harald Ganzinger:

Rewriting Techniques and Applications - Pasta blanda

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… Más…

new in stock. Gastos de envío:zzgl. Versandkosten. (EUR 0.00)
cerrar (X)
3
Pedir
por Biblio.co.uk
$ 4,99
(aprox. € 4,43)
Envío: € 18,491
Pedir
Detalles del proveedor
Enlace patrocinado
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) - Pasta blanda

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

Gastos de envío: EUR 18.49 GuthrieBooks
cerrar (X)
4
Rewriting Techniques and Applications
Pedir
por eBook.de
€ 92,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Rewriting Techniques and Applications - libro nuevo

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… Más…

Nr. 7029084. Gastos de envío:, , DE. (EUR 0.00)
cerrar (X)
5
Rewriting Techniques and Applications - Harald Ganzinger
Pedir
por lehmanns.de
€ 93,08
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Harald Ganzinger:
Rewriting Techniques and Applications - Pasta blanda

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

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Rewriting Techniques and Applications
Autor:
Título:
ISBN:

3540614648


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.

Detalles del libro - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540614647
ISBN (ISBN-10): 3540614648
Tapa blanda
Año de publicación: 1996
Editorial: Springer Berlin
456 Páginas
Peso: 0,684 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-05-04T11:08:03-05:00 (Mexico City)
Página de detalles modificada por última vez el 2022-10-28T14:53:27-05:00 (Mexico City)
ISBN/EAN: 3540614648

ISBN - escritura alterna:
3-540-61464-8, 978-3-540-61464-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: max planck, cken, conference
Título del libro: new brunswick, eso conference, proceedings the 7th international conference, technique science, lecture notes computer science, rewriting

Datos del la editorial

Autor: Harald Ganzinger
Título: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Editorial: Springer; Springer Berlin
440 Páginas
Año de publicación: 1996-07-01
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 440 p.

BC; 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; 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: Completionmodulo 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.
< para archivar...