DOI10.1007/11874683_4zbMath1225.03025MaRDI QIDQ3613329
Miroslaw Truszczynski
Publication date: 12 March 2009 Published in: Computer Science Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/11874683_4
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence