Work

Rewriting Logic and Maude: Concepts and Applications

Year: 2000

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/10721975_1

Author: José Meseguer

Institution: SRI International

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1579200056

FWCI: 2.255

Cites: 80

Cited by: 23

Related to: 10