Work

Rewrite Systems

Year: 1990

Type: book-chapter

Source: Elsevier eBooks

DOI: 10.1016/b978-0-444-88074-1.50011-1

Authors: Nachum DERSHOWITZ, Jean-Pierre JOUANNAUD

Institutions: University of Illinois Urbana-Champaign, University of Illinois System, Université Paris-Sud, Laboratoire de Recherche en Informatique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3022794709

FWCI: 102.2

Cites: 186

Cited by: 598

Related to: 10