Proof Development with OMEGA. Siekmann, J., Benzmüller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Kohlhase, M., Meier, A., Melis, E., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C., & Zimmer, J. In Proceedings of the 18th International Conference on Automated Deduction (CADE-18), of LNCS, pages 144-149, Copenhagen, Denmark, 2002. Springer.
![Proof Development with OMEGA [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Preprint doi bibtex
Preprint doi bibtex @inproceedings{C11,
Address = {Copenhagen, Denmark},
Author = {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and
Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin
Fiedler and Andreas Franke and Helmut Horacek and
Michael Kohlhase and Andreas Meier and Erica Melis
and Markus Moschner and Immanuel Normann and Martin
Pollet and Volker Sorge and Carsten Ullrich and
Claus-Peter Wirth and J{\"u}rgen Zimmer},
Booktitle = {Proceedings of the 18th International Conference on
Automated Deduction (CADE-18)},
Comment = {<a href="http://christoph-benzmueller.de//papers/2002-cade-omega.pdf">slides</a>},
Doi = {10.1007/3-540-45620-1_12},
Editor = {Andrei Voronkov},
Isbn = 3540439315,
Keywords = {own, Proof Assistants, OMEGA, Interactive Proof,
Automated Reasoning, Proof Planning, System
Integration},
Number = 2392,
Pages = {144-149},
Publisher = {Springer},
Series = {LNCS},
Title = {Proof Development with {OMEGA}},
url_preprint = {http://christoph-benzmueller.de/papers/C11.pdf},
Year = 2002,
}Downloads: 0
{"_id":"85qkcBs55hodDoGFo","bibbaseid":"siekmann-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-etal-proofdevelopmentwithomega-2002","downloads":0,"creationDate":"2015-12-13T22:23:04.425Z","title":"Proof Development with OMEGA","author_short":["Siekmann, J.","Benzmüller, C.","Brezhnev, V.","Cheikhrouhou, L.","Fiedler, A.","Franke, A.","Horacek, H.","Kohlhase, M.","Meier, A.","Melis, E.","Moschner, M.","Normann, I.","Pollet, M.","Sorge, V.","Ullrich, C.","Wirth, C.","Zimmer, J."],"year":2002,"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Copenhagen, Denmark","author":[{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Brezhnev"],"suffixes":[]},{"firstnames":["Lassaad"],"propositions":[],"lastnames":["Cheikhrouhou"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Fiedler"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Franke"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Horacek"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Erica"],"propositions":[],"lastnames":["Melis"],"suffixes":[]},{"firstnames":["Markus"],"propositions":[],"lastnames":["Moschner"],"suffixes":[]},{"firstnames":["Immanuel"],"propositions":[],"lastnames":["Normann"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Pollet"],"suffixes":[]},{"firstnames":["Volker"],"propositions":[],"lastnames":["Sorge"],"suffixes":[]},{"firstnames":["Carsten"],"propositions":[],"lastnames":["Ullrich"],"suffixes":[]},{"firstnames":["Claus-Peter"],"propositions":[],"lastnames":["Wirth"],"suffixes":[]},{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Zimmer"],"suffixes":[]}],"booktitle":"Proceedings of the 18th International Conference on Automated Deduction (CADE-18)","comment":"<a href=\"http://christoph-benzmueller.de//papers/2002-cade-omega.pdf\">slides</a>","doi":"10.1007/3-540-45620-1_12","editor":[{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"isbn":"3540439315","keywords":"own, Proof Assistants, OMEGA, Interactive Proof, Automated Reasoning, Proof Planning, System Integration","number":"2392","pages":"144-149","publisher":"Springer","series":"LNCS","title":"Proof Development with OMEGA","url_preprint":"http://christoph-benzmueller.de/papers/C11.pdf","year":"2002","bibtex":"@inproceedings{C11,\n Address =\t {Copenhagen, Denmark},\n Author =\t {J{\\\"o}rg Siekmann and Christoph Benzm{\\\"u}ller and\n Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin\n Fiedler and Andreas Franke and Helmut Horacek and\n Michael Kohlhase and Andreas Meier and Erica Melis\n and Markus Moschner and Immanuel Normann and Martin\n Pollet and Volker Sorge and Carsten Ullrich and\n Claus-Peter Wirth and J{\\\"u}rgen Zimmer},\n Booktitle =\t {Proceedings of the 18th International Conference on\n Automated Deduction (CADE-18)},\n Comment =\t {<a href=\"http://christoph-benzmueller.de//papers/2002-cade-omega.pdf\">slides</a>},\n Doi =\t\t {10.1007/3-540-45620-1_12},\n Editor =\t {Andrei Voronkov},\n Isbn =\t 3540439315,\n Keywords =\t {own, Proof Assistants, OMEGA, Interactive Proof,\n Automated Reasoning, Proof Planning, System\n Integration},\n Number =\t 2392,\n Pages =\t {144-149},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {Proof Development with {OMEGA}},\n url_preprint = {http://christoph-benzmueller.de/papers/C11.pdf},\n Year =\t 2002,\n}\n\n","author_short":["Siekmann, J.","Benzmüller, C.","Brezhnev, V.","Cheikhrouhou, L.","Fiedler, A.","Franke, A.","Horacek, H.","Kohlhase, M.","Meier, A.","Melis, E.","Moschner, M.","Normann, I.","Pollet, M.","Sorge, V.","Ullrich, C.","Wirth, C.","Zimmer, J."],"editor_short":["Voronkov, A."],"key":"C11","id":"C11","bibbaseid":"siekmann-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-etal-proofdevelopmentwithomega-2002","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/C11.pdf"},"keyword":["own","Proof Assistants","OMEGA","Interactive Proof","Automated Reasoning","Proof Planning","System Integration"],"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["proof","development","omega","siekmann","benzmüller","brezhnev","cheikhrouhou","fiedler","franke","horacek","kohlhase","meier","melis","moschner","normann","pollet","sorge","ullrich","wirth","zimmer"],"keywords":["own","proof assistants","omega","interactive proof","automated reasoning","proof planning","system integration"],"authorIDs":[],"dataSources":["bpGK3BCb3q8aHrwnF","ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"]}