Work

Coalgebraic Semantics for Logic Programming

Year: 2010

Type: article

Authors: Ekaterina Komendantskaya, Guy McCusker, John Power

Institutions: University of St Andrews, University of Bath

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2189029149

FWCI: 0.831

Cites: 35

Cited by: 5

Related to: 10