Work

Robust and Immediate Resource Reclamation with M3

Year: 2024

Type: conference-paper

DOI: 10.1145/3698576.3698763

Authors: Viktor Reusch, Nils Asmussen, Michael Roitzsch

Institution: Barkhausen Institut

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Universitas Brawijaya

Award: G3471295967

OpenAlex ID: W4404038593

FWCI:

Cites: 5

Cited by:

Related to: 10