Work

Combinatorial results to measure the complexity of quantifier free formulas in algebraic systems

Year: 2025

Type: article

Source: Asian-European Journal of Mathematics

DOI: 10.1142/s1793557125501268

Authors: Thodsaporn Kumduang, Songpon Sriwongsa, Khwancheewa Wattanatripop

Institutions: Rajamangala University of Technology Rattanakosin, King Mongkut's University of Technology Thonburi, Rajamangala University of Technology Lanna

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Research Council of Thailand

OpenAlex ID: W4415304675

FWCI: 0.99

Cites: 27

Cited by: 2

Related to: