Work

Proceedings of the 24th International Conference on Rewriting Techniques and Applications

Year: 2013

Type: article

Source: Rewriting Techniques and Applications

Author: Femke van Raamsdonk

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3203607919

FWCI: 3.478

Cites:

Cited by: 20

Related to: 10