fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Rewriting Techniques and Applications

Rewriting Techniques and Applications

by Jean-Pierre Jouannaud

RéécritureAlgebraïsche logicaAlgorithmeInformatique théoriqueLogiciel
0.0
Open Library
Open Library

Themes & subjects

RéécritureAlgebraïsche logicaAlgorithmeInformatique théoriqueLogicielCongrès

Author

Jean-Pierre Jouannaud

Pages

441

Read time

≈ 11h

Editions

3

Language

English

Publisher

Springer

ISBN

9783540159766

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

CafeOBJ report

Réécriture · Théorie démonstration

CafeOBJ report

Razvan Diaconescu

1998

Translating relationalqueries into iterative programs

Electronic digital computers · Functional programming languages

Translating relationalqueries into iterative programs

Johann Christoph Freytag

1987

Foundations of software technology and theoretical computer science

Réécriture · Informatik

Foundations of software technology and theoretical computer science

V. Vinay

1996

Automata, languages and programming

Réécriture · Programmation

Automata, languages and programming

Pierpaolo Degano

1997

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

Réécriture · Informatik

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

S. Biswas

1992

Rewriting techniques and applications

Réécriture · Algebraïsche logica

Rewriting techniques and applications

Pierre Lescanne

Algebra, Logic, Set Theory (Studies in Logic)

Algebraic logic · Set theory

Algebra, Logic, Set Theory (Studies in Logic)

B, Loewe

2007

Algebraizable logics

Algebraic logic · Symbolic and mathematical Logic

Algebraizable logics

W. J. Blok

1989

Many-dimensional modal logics

Nonclassical mathematical logic · Modality (Logic)

Many-dimensional modal logics

Dov M. Gabbay

2003