ISBN: 9783540690511
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised fu… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540690511
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540690511
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540690511
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised fu… Mehr…
ISBN: 9783540690511
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial… Mehr…
ISBN: 9783540690511
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications
EAN (ISBN-13): 9783540690511
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-12-12T10:13:07+01:00 (Vienna)
Detailseite zuletzt geändert am 2019-10-22T19:56:08+02:00 (Vienna)
ISBN/EAN: 9783540690511
ISBN - alternative Schreibweisen:
978-3-540-69051-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: rewriting
Daten vom Verlag:
Autor/in: Hubert Comon
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Verlag: Springer; Springer Berlin
348 Seiten
Erscheinungsjahr: 2005-07-13
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 348 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automatisches Schließen; Constraint-Auflösung; Monoid; Stringersetzung; Termersetzung; Theorem-Beweisen; algorithm; algorithms; automated deduction; constraint solving; programming; programming language; string rewriting; term rewriting; theorem proving; C; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Artificial Intelligence; Computer Science; Theoretische Informatik; Mathematik für Informatiker; Künstliche Intelligenz; BC
Well-behaved search and the Robbins problem.- Goal-Directed Completion using SOUR Graphs.- Shostak's congruence closure as completion.- Conditional equational specifications of data types with partial operations for inductive theorem proving.- Cross-sections for finitely presented monoids with decidable word problems.- New undecidability results for finitely presented monoids.- On the property of preserving regularity for string-rewriting systems.- Rewrite systems for natural, integral, and rational arithmetic.- D-bases for polynomial ideals over commutative noetherian rings.- On the word problem for free lattices.- A total, ground path ordering for proving termination of AC-rewrite systems.- Proving innermost normalisation automatically.- Termination of context-sensitive rewriting.- A new parallel closed condition for Church-Rosser of left-linear term rewriting systems.- Innocuous constructor-sharing combinations.- Scott's conjecture is true, position sensitive weights.- Two-dimensional rewriting.- A complete axiomatisation for the inclusion of series-parallel partial orders.- Undecidability of the first order theory of one-step right ground rewriting.- The first-order theory of one step rewriting in linear noetherian systems is undecidable.- Solving linear Diophantine equations using the geometric structure of the solution space.- A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms.- Effective reduction and conversion strategies for combinators.- Finite family developments.- Prototyping combination of unification algorithms with the ELAN rule-based programming language.- The invariant package of MAS.- Opal: A system for computing noncommutative gröbner bases.- TRAM: An abstract machinefor order-sorted conditional term rewriting systems.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780119602456 Peaceful Uses of Atomic Energy: 4th International Conference: Applications of Nuclear Techniques in Industry and in the Study of Natural Res (International Atomic Energy Agency)
- 9780387159768 Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science) (Jouannaud, Jean-Pierre (editor) ; G. Goos; J. Hartmanis)
- 9780387539041 Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Book, Ronald V. (ed.))
- Rewriting Techniques and Applications (Jouannaud, J-P)
< zum Archiv...