iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/LamoW03.rdf
Yngve Lamo and Michal Walicki: Quantifier-free logic for multialgebraic theories. (2003) journals/entcs/LamoW03 10.1016/S1571-0661(04)80851-X Quantifier-free logic for multialgebraic theories. 2 Yngve Lamo 1 Michal Walicki 2 141-153 WoLLIC WoLLIC 2003 2003 provenance information for RDF data of dblp record 'journals/entcs/LamoW03' 2022-12-05T16:25:26+0100