Work

On Generalised Coinduction and Probabilistic Specification Formats

Year: 2004

Type: dissertation

Source: Data Archiving and Networked Services (DANS)

Author: Bartels, F.

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W71537616

Cites:

Cited by: 67

Related to: 20