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.dagstuhl.de/rec/conf/focs/LincolnMSS90.nt
. . . . . "Patrick Lincoln et al.: Decision Problems for Propositional Linear Logic (1990)" . . _:ID_a265bda6c6258c313456ab52748df6b2 . _:ID_a265bda6c6258c313456ab52748df6b2 . _:ID_a265bda6c6258c313456ab52748df6b2 . _:ID_a265bda6c6258c313456ab52748df6b2 . _:ID_a265bda6c6258c313456ab52748df6b2 "conf/focs/LincolnMSS90" . _:ID_89d5c9b1d7b59b2e592b1d341da1016f . _:ID_89d5c9b1d7b59b2e592b1d341da1016f . _:ID_89d5c9b1d7b59b2e592b1d341da1016f . _:ID_89d5c9b1d7b59b2e592b1d341da1016f . _:ID_89d5c9b1d7b59b2e592b1d341da1016f "10.1109/FSCS.1990.89588" . "Decision Problems for Propositional Linear Logic" . . . . . . . . . . "4"^^ . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 "Patrick Lincoln" . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 "1"^^ . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_1 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 "John C. Mitchell" . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 "2"^^ . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_2 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 "Andre Scedrov" . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 "3"^^ . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_3 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 "Natarajan Shankar" . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 "4"^^ . _:Sig_5a9dc57595034d75ec8eb321436bb7f6_4 . . . . . . "662-671" . "FOCS" . "FOCS" . "1990"^^ . "1990"^^ . . "provenance information for RDF data of dblp record 'conf/focs/LincolnMSS90'" . . . . "2023-03-23T23:57:54+0100" .