Quantifier Elimination in Fuzzy Logic
Year: 1999
Type: conference-paper
DOI: 10.1007/10703163_27
Authors: Matthias Baaz, Helmut Veith
Institution: TU Wien
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1502621657