bibtex

@inproceedings{GBJ+8,
    title = {Open Implication },
    author = {Greimel, Karin and Bloem, Roderick and Jobstmann, Barbara and Vardi, Moshe Y.},
    year = {2008},
    booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming},
    pages = {361-372},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5126},
    team = {DCS},
}


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

info visites 4086829