Work

A rationale for conditional equational programming

Year: 1990

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/0304-3975(90)90064-o

Authors: Nachum Dershowitz, Mitsuhiro Okada

Institutions: University of Illinois Urbana-Champaign, University of Illinois System, Concordia University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Fonds pour la Formation de Chercheurs et l'Aide à la Recherche, Natural Sciences and Engineering Research Council of Canada

Awards: G197933484, G3537206310, Term-rewriting Systems, G5233273601, G6195885967, G7128682995

OpenAlex ID: W2050677448

FWCI: 7.228

Cites: 64

Cited by: 87

Related to: 10