Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science) - Taschenbuch
1985, ISBN: 9783540159766
Springer, 1985. 440 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once… Mehr…
Biblio.co.uk |
1985, ISBN: 9783540159766
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985. Paperback. Good. Former library book. Book slightly twisted. Edition 1985. Ammareal gives back up to 15% of this item's net pri… Mehr…
Biblio.co.uk |
1985, ISBN: 3540159762
1985 Kartoniert / Broschiert Monoid; algorithms; compiler; complexity; logic; petri net; theorem proving, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1985, ISBN: 3540159762
1985 Kartoniert / Broschiert Monoid; algorithms; Compiler; complexity; logic; Petrinet; theoremproving, mit Schutzumschlag 11, [PU:Springer Berlin Heidelberg; Springer Berlin]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1985, ISBN: 9783540159766
Dijon, France, May 20-22, 1985, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1985
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science) - Taschenbuch
1985, ISBN: 9783540159766
Springer, 1985. 440 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once… Mehr…
Jean-Pierre Jouannaud:
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 - Taschenbuch1985, ISBN: 9783540159766
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985. Paperback. Good. Former library book. Book slightly twisted. Edition 1985. Ammareal gives back up to 15% of this item's net pri… Mehr…
1985
ISBN: 3540159762
1985 Kartoniert / Broschiert Monoid; algorithms; compiler; complexity; logic; petri net; theorem proving, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
1985, ISBN: 3540159762
1985 Kartoniert / Broschiert Monoid; algorithms; Compiler; complexity; logic; Petrinet; theoremproving, mit Schutzumschlag 11, [PU:Springer Berlin Heidelberg; Springer Berlin]
1985, ISBN: 9783540159766
Dijon, France, May 20-22, 1985, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1985
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications
EAN (ISBN-13): 9783540159766
ISBN (ISBN-10): 3540159762
Taschenbuch
Erscheinungsjahr: 1985
Herausgeber: Springer Berlin
452 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-03-24T23:33:20+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-23T19:25:47+01:00 (Zurich)
ISBN/EAN: 9783540159766
ISBN - alternative Schreibweisen:
3-540-15976-2, 978-3-540-15976-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: goos, jouanna, jouan
Titel des Buches: dijon, rewriting lecture notes computer
Daten vom Verlag:
Autor/in: Jean-Pierre Jouannaud
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - Dijon, France, May 20-22, 1985
Verlag: Springer; Springer Berlin
444 Seiten
Erscheinungsjahr: 1985-10-01
Berlin; Heidelberg; DE
Sprache: Englisch
42,79 € (DE)
43,99 € (AT)
53,60 CHF (CH)
Available
VIII, 444 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Applications; Monoid; algorithms; compiler; complexity; logic; petri net; theorem proving; Formal Languages and Automata Theory; EA
Basic features and development of the critical-pair/completion procedure.- Contextual rewriting.- Thue systems as rewriting systems.- Deciding algebraic properties of monoids presented by finite church-rosser Thue systems.- Two applications of equational theories to database theory.- An experiment in partial evaluation: The generation of a compiler generator.- NARROWER: a new algorithm for unification and its application to Logic Programming.- Solving type equations by graph rewriting.- Termination.- Path of subterms ordering and recursive decomposition ordering revisited.- Associative path orderings.- A procedure for automatically proving the termination of a set of rewrite rules.- Petrireve: Proving Petri net properties with rewriting systems.- Fairness in term rewriting systems.- Two results in term rewriting theorem proving.- Handling function definitions through innermost superposition and rewriting.- An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras.- Combining unification algorithms for confined regular equational theories.- An algebraic approach to unification under associativity and commutativity.- Unification problems with one-sided distributivity.- Fast many-to-one matching algorithms.- Complexity of matching problems.- The set of unifiers in typed ?-calculus as regular expression.- Equational systems for category theory and intuitionistic logic.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...