Search dblp for Publications

export results for "toc:db/conf/lpar/iwil2015.bht:"

 download as .bib file

@proceedings{DBLP:conf/lpar/2015iwil,
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  publisher    = {EasyChair},
  year         = {2016},
  url          = {https://easychair.org/publications/volume/IWIL-2015},
  timestamp    = {Thu, 30 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/2015iwil.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AhmadHT15,
  author       = {Waqar Ahmad and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Towards Formal Reliability Analysis of Logistics Service Supply Chains
                  using Theorem Proving},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {1--14},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/6l77},
  doi          = {10.29007/6L77},
  timestamp    = {Thu, 30 May 2024 21:47:24 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AhmadHT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BlancoLM15,
  author       = {Roberto Blanco and
                  Tomer Libal and
                  Dale Miller},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Defining the meaning of {TPTP} formatted proofs},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {78--90},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/xtc2},
  doi          = {10.29007/XTC2},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BlancoLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BuryCH15,
  author       = {Guillaume Bury and
                  Rapha{\"{e}}l Cauderlier and
                  Pierre Halmagrand},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Implementing Polymorphism in Zenon},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {15--20},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/87vl},
  doi          = {10.29007/87VL},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BuryCH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/CharlierA15,
  author       = {Baudouin Le Charlier and
                  M{\^{e}}ton M{\^{e}}ton Atindehou},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {A Method to Simplify Expressions: Intuition and Preliminary Experimental
                  Results},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {37--51},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/jv63},
  doi          = {10.29007/JV63},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/CharlierA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HeuleB15a,
  author       = {Marijn Heule and
                  Armin Biere},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Clausal Proof Compression},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {21--26},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/sgpl},
  doi          = {10.29007/SGPL},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HeuleB15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KaliszykUV15,
  author       = {Cezary Kaliszyk and
                  Josef Urban and
                  Jir{\'{\i}} Vyskocil},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Improving Statistical Linguistic Algorithms for Parsing Mathematics},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {27--36},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/8c2m},
  doi          = {10.29007/8C2M},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KaliszykUV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Leino15a,
  author       = {K. Rustan M. Leino},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Well-founded Functions and Extreme Predicates in Dafny: {A} Tutorial},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {52--66},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/v2m3},
  doi          = {10.29007/V2M3},
  timestamp    = {Sat, 19 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/Leino15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LiXX15,
  author       = {Chu Min Li and
                  Fan Xiao and
                  Ruchu Xu},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {On Reducing Clause DataBase in Glucose},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {67--77},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/b8kb},
  doi          = {10.29007/B8KB},
  timestamp    = {Mon, 21 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LiXX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Protzenko15,
  author       = {Jonathan Protzenko},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Functional Pearl: the Proof Search Monad},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {91--105},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/cfdq},
  doi          = {10.29007/CFDQ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Protzenko15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Sutcliffe015,
  author       = {Geoff Sutcliffe and
                  Stephan Schulz},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {The Thousands of Models for Theorem Provers {(TMTP)} Model Library
                  - First Steps},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {106--121},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/7dg5},
  doi          = {10.29007/7DG5},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Sutcliffe015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/UrbanV15,
  author       = {Josef Urban and
                  Robert Veroff},
  editor       = {Boris Konev and
                  Stephan Schulz and
                  Laurent Simon},
  title        = {Experiments with State-of-the-art Automated Provers on Problems in
                  Tarskian Geometry},
  booktitle    = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
                  of Logics, Suva, Fiji, November 23, 2015},
  series       = {EPiC Series in Computing},
  volume       = {40},
  pages        = {122--126},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/pqh1},
  doi          = {10.29007/PQH1},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/UrbanV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.