Term Rewriting
Editat de Hubert Comon, Jean-Pierre Jouannauden Limba Engleză Paperback – 25 apr 1995
This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.
Preț: 318.89 lei
Preț vechi: 398.61 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.39€ • 64.66$ • 48.74£
56.39€ • 64.66$ • 48.74£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540593409
ISBN-10: 3540593403
Pagini: 236
Ilustrații: VIII, 228 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540593403
Pagini: 236
Ilustrații: VIII, 228 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-30%Preț: 318.58 lei457.30 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 386.18 lei482.73 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-22%Preț: 539.32 lei691.43 lei -
-23%Preț: 464.09 lei602.72 lei -
Preț: 399.97 lei -
Introduction to Mathematica® with ApplicationsMarian Mureşan-20%Preț: 735.14 lei918.92 lei -
Arithmetic of Finite FieldsSylvain Duquesne-20%Preț: 321.74 lei402.18 lei -
Preț: 374.09 lei -
Theory and Applications of Models of ComputationT. V. Gopal-20%Preț: 343.86 lei429.81 lei -
Relational and Algebraic Methods in Computer SciencePeter Höfner-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 315.80 lei394.74 lei -
Functional Programming Languages and Computer ArchitectureJean-Pierre Jouannaud-20%Preț: 328.49 lei410.62 lei -
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985Jean-Pierre Jouannaud-20%Preț: 354.38 lei442.98 lei -
Conditional Term Rewriting SystemsStephane Kaplan-20%Preț: 321.74 lei402.18 lei -
Algebra, Meaning, and ComputationKokichi Futatsugi-20%Preț: 644.36 lei805.45 lei -
Constraints in Computational LogicsJean-Pierre Jouannaud-20%Preț: 326.68 lei408.36 lei -
Rewriting Techniques and ApplicationsHubert Comon-20%Preț: 325.25 lei406.56 lei -
Certified Programs and ProofsJean-Pierre Jouannaud-20%Preț: 328.29 lei410.37 lei -
-20%Preț: 314.15 lei392.68 lei -
System Modeling and OptimizationDietmar Hömberg-33%Preț: 598.47 lei892.17 lei -
Automated Reasoning and MathematicsMaria Paola Bonacina-20%Preț: 293.72 lei367.14 lei -
Integer Programming and Combinatorial OptimizationMichel GoemansPreț: 382.93 lei -
Graph DrawingWalter Didimo-20%Preț: 337.51 lei421.89 lei -
Applied Parallel and Scientific ComputingPekka ManninenPreț: 393.18 lei -
Evolutionary Multi-Criterion OptimizationRobin PurshousePreț: 409.68 lei -
Preț: 383.16 lei
Public țintă
ResearchCuprins
to rewriting.- 33 Examples of termination.- The word problem for Thue rewriting systems.- Word problem for Thue systems with a few relations.- Some extensions of rewriting.- Graph rewriting: A bibliographical guide.- Formal languages & word-rewriting.- Rewriting and tree automata.- On efficient reduction algorithms for some trace rewriting systems.- Automatic groups and string rewriting.- A survey of symmetrized and complete group presentations.- Normalized rewriting — Application to ground completion and standard bases.- Equational reasoning with 2-dimensional diagrams.- Affine geometry of collinearity and conditional term rewriting.- Burnside monoids word problem and the conjecture of Brzozowski.