bibtex

@inproceedings{IS8c,
    title = { {A Complete Cyclic Proof System for Inductive Entailments in First Order Logic} },
    author = {Iosif, Radu and Serban, Cristina},
    month = {Nov},
    year = {2018},
    booktitle = {{{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning}},
    address = {Awassa, Ethiopia},
    team = {RSD},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388031/file/final.pdf}, hal_id = {hal-02388031}, hal_version = {v1},
}

URL

Publication Sections


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

info visites 1504648