View in EDS PDF Full Text

DATA-AWARE HYBRID TABLEAUX.

Saved in:
Bibliographic Details
Title: DATA-AWARE HYBRID TABLEAUX.
Authors: ARECES, CARLOS1,2, carlos.areces@unc.edu.ar, CASSANO, VALENTIN1,2,3, valentin@dc.exa.unrc.edu.ar, FERVARI, RAUL1,2, rfervari@unc.edu.ar
Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p26:1-26:31, 31p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-21(4:26)2025