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/Conradie09.rdf
Willem Conradie: Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. (2007) journals/entcs/Conradie09 10.1016/J.ENTCS.2009.02.035 Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. 1 Willem Conradie 1 175-190 M4M M4M 2007 2009 provenance information for RDF data of dblp record 'journals/entcs/Conradie09' 2023-02-27T09:43:02+0100