Work

Conditional Equational Programming and the Theory of Conditional Term Rewriting.

Year: 1988

Type: article

Source: Future Generation Computer Systems

Authors: Nachum Dershowitz, Mitsuhiro Okada

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W159798971

FWCI: 0.821

Cites:

Cited by: 9

Related to: 10