bibtex

@inproceedings{IS8e,
    title = { A Complete Cyclic Proof System for Inductive Entailments in First Order Logic },
    author = {Iosif, Radu and Serban, Cristina},
    year = {2018},
    booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018},
    crossref = {DBLP:conf/lpar/2018},
    pages = {435--453},
    team = {RSD, axe_Mohytos},
    timestamp = {Mon, 31 Dec 2018 12:25:19 +0100}, biburl = {https://dblp.org/rec/bib/conf/lpar/IosifS18}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093774