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/corr/abs-2203-06075.nt
. . . . "Corentin Barloy et al.: The Regular Languages of First-Order Logic with One Alternation. (2022)" . . _:ID_9587f10521ccac8af80be95f6698458b . _:ID_9587f10521ccac8af80be95f6698458b . _:ID_9587f10521ccac8af80be95f6698458b . _:ID_9587f10521ccac8af80be95f6698458b . _:ID_9587f10521ccac8af80be95f6698458b "journals/corr/abs-2203-06075" . _:ID_8e0345fbdcd57007ded7f7bf77e72d32 . _:ID_8e0345fbdcd57007ded7f7bf77e72d32 . _:ID_8e0345fbdcd57007ded7f7bf77e72d32 . _:ID_8e0345fbdcd57007ded7f7bf77e72d32 . _:ID_8e0345fbdcd57007ded7f7bf77e72d32 "10.48550/ARXIV.2203.06075" . "The Regular Languages of First-Order Logic with One Alternation." . . . . . . . . . . "4"^^ . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 "Corentin Barloy" . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 "1"^^ . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_1 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 "Micha\u00EBl Cadilhac" . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 "2"^^ . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_2 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 "Charles Paperman" . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 "3"^^ . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_3 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 "Thomas Zeume" . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 "4"^^ . _:Sig_826a0fe2166047cee4ee083c5b2be0cf_4 . . . . . "CoRR" . "CoRR" . "abs/2203.06075" . "2022"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-2203-06075'" . . . . "2022-03-16T16:41:29+0100" .