2007, ISBN: 9783540255963
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005)… Meer...
booklooker.de |
2005, ISBN: 9783540255963
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Ha… Meer...
Springer.com Nr. 978-3-540-25596-3. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1993, ISBN: 9783540255963
South-Western, Broché, 600 Seiten, Publiziert: 1993-10-24T00:00:01Z, Produktgruppe: Livre, Hersteller-Nr.: Illustrations, 3 kg, Livres anglais et étrangers, Boutiques, Livres, Gestion fin… Meer...
amazon.fr premium-books-europe Verzendingskosten:En stock. Les coûts d'expédition peuvent différer des coûts réels. (EUR 2.99) Details... |
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science (3467)) [Soft Cover ] - pocketboek
2008, ISBN: 3540255966
[EAN: 9783540255963], Nouveau livre, [SC: 5.48], [PU: Springer], Books
AbeBooks.fr booksXpress, Freehold, NJ, U.S.A. [71410708] [Note: 4 (sur 5)] NEW BOOK. Verzendingskosten: EUR 5.48 Details... |
2005, ISBN: 9783540255963
pocketboek
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2007, ISBN: 9783540255963
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005)… Meer...
2005, ISBN: 9783540255963
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Ha… Meer...
1993
ISBN: 9783540255963
South-Western, Broché, 600 Seiten, Publiziert: 1993-10-24T00:00:01Z, Produktgruppe: Livre, Hersteller-Nr.: Illustrations, 3 kg, Livres anglais et étrangers, Boutiques, Livres, Gestion fin… Meer...
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science (3467)) [Soft Cover ] - pocketboek
2008, ISBN: 3540255966
[EAN: 9783540255963], Nouveau livre, [SC: 5.48], [PU: Springer], Books
2005, ISBN: 9783540255963
pocketboek
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Term Rewriting and Applications
EAN (ISBN-13): 9783540255963
ISBN (ISBN-10): 3540255966
Gebonden uitgave
pocket book
Verschijningsjaar: 2005
Uitgever: Springer Berlin
536 Bladzijden
Gewicht: 0,801 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-03-20T18:00:30+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-20T20:53:00+01:00 (Amsterdam)
ISBN/EAN: 9783540255963
ISBN - alternatieve schrijfwijzen:
3-540-25596-6, 978-3-540-25596-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: giesl, jürgen bordeaux
Titel van het boek: japan computer, theoretical computer science, term rewriting applications, this japan, nara, rewriting lecture notes computer
Gegevens van de uitgever
Auteur: Jürgen Giesl
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Term Rewriting and Applications - 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Uitgeverij: Springer; Springer Berlin
517 Bladzijden
Verschijningsjaar: 2005-04-07
Berlin; Heidelberg; DE
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 517 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; automata; automated deduction; higher order rewriting; lambda calculus; logic programming; programming calculi; proving; rewriting; rewriting systems; semantics; term rewriting; termination; type inference; unification; verification; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Artificial Intelligence; Symbolic and Algebraic Manipulation; Compiler und Übersetzer; Künstliche Intelligenz; Mathematik für Informatiker; EA
Confluent Term Rewriting Systems.- Generalized Innermost Rewriting.- Orderings for Innermost Termination.- Leanest Quasi-orderings.- Abstract Modularity.- Union of Equational Theories: An Algebraic Approach.- Equivariant Unification.- Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.- Unification in a Class of Permutative Theories.- Dependency Pairs for Simply Typed Term Rewriting.- Universal Algebra for Termination of Higher-Order Rewriting.- Quasi-interpretations and Small Space Bounds.- A Sufficient Completeness Reasoning Tool for Partial Specifications.- Tyrolean Termination Tool.- Call-by-Value Is Dual to Call-by-Name – Reloaded.- ??-Calculus and Duality: Call-by-Name and Call-by-Value.- Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.- Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.- Localized Fairness: A Rewriting Semantics.- Partial Inversion of Constructor Term Rewriting Systems.- Natural Narrowing for General Term Rewriting Systems.- The Finite Variant Property: How to Get Rid of Some Algebraic Properties.- Intruder Deduction for AC-Like Equational Theories with Homomorphisms.- Proving Positive Almost-Sure Termination.- Termination of Single-Threaded One-Rule Semi-Thue Systems.- On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems.- Twenty Years Later.- Open. Closed. Open..- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.- Extending the Explicit Substitution Paradigm.- Arithmetic as a Theory Modulo.- Infinitary Combinatory Reduction Systems.- Proof-Producing Congruence Closure.- The Algebra of Equality Proofs.- On Computing Reachability Sets of Process Rewrite Systems.- Automata andLogics for Unranked and Unordered Trees.Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783540320333 Term Rewriting and Applications (Jürgen Giesl)
- 9783540320333 Term Rewriting and Applications (Jürgen Giesl)
- 9783540368342 Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science, 4098, Band 4098) (Pfenning, Frank)
- 9780538833103 Accounting for Managers: Text and Cases (William J., Jr. Bruns)
- 9783540298502 Progress in Pattern Recognition, Image Analysis and Applications: 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, Novemb (Giesl, Jürgen)
- Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings (Ebook PDF) (English Edition) (Leroy (auth.), Xavier, Baader (eds.), Franz)
< naar Archief...