| Year | 2023 |
|---|---|
| Type | Journal |
| Status | Published |
| Authors | Xiaohong Chen, Dorel Lucanu, Grigore Rosu |
Abstract
J. Log. Algebraic Methods Program. 130: 100810 (2023)BibTeX
@TechReport{
name,
author = {},
title = {},
institution = {},
year = {},
number = {},
month = {},
note = {},
url = {}
}