Work

29th EACSL Annual Conference on Computer Science Logic, CSL 2021

Year: 2021

Type: book

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Baier, Christel, Goubault-Larrecq, Jean

Institutions: Technische Universität Dresden, École Normale Supérieure Paris-Saclay

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3147781287

FWCI: 4.043

Cites:

Cited by: 67

Related to: 10