Work

A Relational Investigation of UTP Designs and Prescriptions

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11768173_7

Authors: Moshe Deutsch, Martin C. Henson

Institution: University of Essex

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1548752695

FWCI: 0.24

Cites: 23

Cited by: 4

Related to: 10