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/compass/KlarGC95.nt
. . . . . "Marcus Klar et al.: InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. (1995)" . . _:ID_3c4bad4fefe1d4114e06e22edab1b950 . _:ID_3c4bad4fefe1d4114e06e22edab1b950 . _:ID_3c4bad4fefe1d4114e06e22edab1b950 . _:ID_3c4bad4fefe1d4114e06e22edab1b950 . _:ID_3c4bad4fefe1d4114e06e22edab1b950 "conf/compass/KlarGC95" . _:ID_53e6c59502ed35d431f0ed94d259b0e5 . _:ID_53e6c59502ed35d431f0ed94d259b0e5 . _:ID_53e6c59502ed35d431f0ed94d259b0e5 . _:ID_53e6c59502ed35d431f0ed94d259b0e5 . _:ID_53e6c59502ed35d431f0ed94d259b0e5 "10.1007/3-540-61629-2_49" . "InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation." . . . . . . . . "3"^^ . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 "Marcus Klar" . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 "1"^^ . _:Sig_22d9a897212b81cd3494dd760bfb670c_1 . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 "Robert Geisler" . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 "2"^^ . _:Sig_22d9a897212b81cd3494dd760bfb670c_2 . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 "Felix Cornelius" . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 "3"^^ . _:Sig_22d9a897212b81cd3494dd760bfb670c_3 . . . . . . "291-395" . "COMPASS/ADT" . "COMPASS/ADT" . "1995"^^ . "1996"^^ . . "provenance information for RDF data of dblp record 'conf/compass/KlarGC95'" . . . . "2017-05-22T16:14:03+0200" .