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.uni-trier.de/rec/conf/cade/Cohn92.xml
Anthony G. Cohn 0001 A Many Sorted Logic with Possibly Empty Sorts. 633-647 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#Cohn92 https://doi.org/10.1007/3-540-55602-8_197