Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Conditional and Typed Rewriting Systems

Name: Conditional and Typed Rewriting Systems
Brand: Springer, Berlin
SKU: 02092600
Price: 48.54 EUR
Availability: InStock
Author: Stephane Kaplan
ISBN: 9783540543176

Second International CRTS Workshop Montreal, Canada, June 11-14, 1990. Proceedings

Stephane Kaplan

Okada Mitsuhiro

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02092600

Založba Springer, Berlin, november 1990

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic... Celoten opis

Koda Libristo: 02092600

118 b

48.54 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Histoire et défense de l'Utopie LEQUENNE Michel

Mehka

21.90 €

Ermetico Alessio Romanini

Mehka

10.95 €

LA SINGULARIDAD DE PTOLOMEO 07 MITSURU OHSAKI

Mehka

9.64 €

Logos. Lingua Graeca per se illustrata CARBONELL MARTINEZ

Mehka

33.26 €

Saw Super Sized Jumbo POP! Movies Vinyl Figure Billy the Puppet 25 cm Igra/Igrača

Igrača

54.07 €

La equidad de genero en el sector minero colombiano Milton Fernando Montoya Pardo

Adobe ePub DRM

10.75 €

Los Mejores Relatos de Roald Dahl = The Best Stories of Roald Dahl Roal Dahl

Mehka

11.75 €

HS LE POINT EDUCATION La France et sa géographie - Avril 2021 collegium Knjiga

Mehka

10.54 €

Peluri - eroottinen joulutarina Norrbin

MP3

3.51 €

De Falso Credita Et Ementita CB Valla/Schwahn

Knjiga

102.92 €

Real-Life-Def versus Comic-Def Anett Michael

Mehka

15.17 €

Risiko- und Performancekennzahlen zur Strategiebewertung von Hedge Fonds Stephan H. Gerlach

Mehka

40.09 €

Grandville. Bd.1 Bryan Talbot

Mehka

21.20 €

Willensfreiheit und deterministisches Chaos Elmar Sauter

Mehka

39.39 €

Access - Allgemeine Ausgabe 2014 / Baden-Württemberg 2016 - Band 2: 6. Schuljahr Jennifer Seidl

Preglednica

17.08 €

Geistertitel Anne E. Fiebelkorn

Mehka

10.95 €

Minna Von Barnhelm Gotthold Ephraim Lessing

Mehka

5.32 €

Workflow Management Systeme im Vergleich Bernd Pfeiffenberger

Mehka

44.32 €

Beziehungsqualität in der Musiktherapie mit Psychotherapiepatienten Annegret Körber

Mehka

44.32 €

Ergebnisse der Inneren Medizin und Kinderheilkunde L Heilmeyer

Mehka

60.60 €

Vocabulaire du Berry Jaubert

Mehka

18.79 €

Choix de Chroniques Et Memoires Sur l'Histoire de France, Avec Notices Biographiques. Tome 1 Buchon-J

Mehka

41.10 €

Mediación comunitaria. sscg0209 guía para el docente y solucionarios Innovación y Cualificación

Mehka

9.64 €

Kyborgovo jméno Vladimír Šlechta

Mehka

7.93 €

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended to offer a forum for researchers on such extensions of rewriting techniques. This volume presents the proceedings of the second CTRS workshop, which contributed to discussion and evaluation of new directions of research. (The proceedings of the first CTRS workshop are in Lecture Notes in Computer Science, Vol. 308.) Several important directions for extensions of rewriting techniques were stressed, which are reflected in the organization of the chapters in this volume: - Theory of conditional and Horn clause systems, - Infinite terms, non-terminating systems, and termination, - Extension of Knuth-Bendix completion, - Combined systems, combined languages and modularity, - Architecture, compilers and parallel computation, - Basic frameworks for typed and order-sorted systems, - Extension of unification and narrowing techniques.