Work

Comparison of Logical Execution Time Programming Languages

Year: 2026

Type: conference-paper

Abstract: International audience

Source: INRIA a CCSD electronic archive server

DOI: 10.82331/erts.2026.16

Authors: Issolah, Sid Ahmed, Boyer, Marc, Chabrol, Damien, Phavorin, Guillaume

Institution: Office National d'Études et de Recherches Aérospatiales

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7129072224

FWCI:

Cites:

Cited by:

Related to: