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/conf/cade/BernreiterLMW22.rdf
Michael Bernreiter et al.: Sequent Calculi for Choice Logics. (2022) conf/cade/BernreiterLMW22 10.1007/978-3-031-10769-6_20 Sequent Calculi for Choice Logics. 4 Michael Bernreiter 1 Anela Lolic 2 Jan Maly 0001 3 Stefan Woltran 4 331-349 IJCAR IJCAR 2022 2022 provenance information for RDF data of dblp record 'conf/cade/BernreiterLMW22' 2024-10-06T20:57:16+0200