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/ijcar/PrebetP24.rdf
Enguerrand Prebet and André Platzer: Uniform Substitution for Differential Refinement Logic. (2024) conf/ijcar/PrebetP24 10.1007/978-3-031-63501-4_11 Uniform Substitution for Differential Refinement Logic. 2 Enguerrand Prebet 1 André Platzer 2 196-215 IJCAR (2) IJCAR (2) 2024 2024 provenance information for RDF data of dblp record 'conf/ijcar/PrebetP24' 2024-08-12T16:03:21+0200