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
Term rewriting

Term rewriting

by French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Hubert Comon, Jean-Pierre Jouannaud

1995CongressesRewriting systems (Computer science)Computer scienceMathematical Logic and Formal LanguagesComputer Science
0.0
Open Library
Open Library

Themes & subjects

CongressesRewriting systems (Computer science)Computer scienceMathematical Logic and Formal LanguagesComputer ScienceComputer Programming
First published 1995

Authors

French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Hubert Comon, Jean-Pierre Jouannaud

First published

1995

Pages

221

Read time

≈ 6h

Editions

2

Language

English

Publisher

Springer

ISBN

9783540593409

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

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900

Capitalism, Socialism and Democracy

Socialism · Democracy

Capitalism, Socialism and Democracy

Joseph Alois Schumpeter

1942

Dicho Y Hecho

English · English speakers

Dicho Y Hecho

Laila M. Dawson

1993

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Documents diplomatiques

Armenian question · Automobiles

Documents diplomatiques

Ministère des Affaires étrangères (France)

1872

The Door into Summer

American Science fiction · Cold Sleep

The Door into Summer

Robert A. Heinlein

1957

Higher-order algebra, logic, and term rewriting

Congresses · Rewriting systems (Computer science)

Higher-order algebra, logic, and term rewriting

Jan Heering

1994

Applications of Graph Transformations with Industrial Relevance

Mathematical Logic and Formal Languages · Computational complexity

Applications of Graph Transformations with Industrial Relevance

Andy Schürr

2008

Applications of graph transformations with industrial relevance

Congresses · Rewriting systems (Computer science)

Applications of graph transformations with industrial relevance

AGTIVE 2007 (2007 Kassel, Germany)

2008

Applications of graph transformations with industrial relevance

Rewriting systems (Computer science) · Congresses

Applications of graph transformations with industrial relevance

Manfred Nagl

2000

Rewriting techniques and applications

Congresses · Computer programming

Rewriting techniques and applications

International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)

2002

Rewriting Techniques and Applications

Réécriture · Algebraïsche logica

Rewriting Techniques and Applications

Jean-Pierre Jouannaud

1985