ARQNL 2014:BibTeX Entries

Volume

@proceedings{ARQNL2014,
  title     = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{ARQNL2014:Coalescing_Syntactic_Abstraction_for,
  author    = {Damien Doligez and Jael Kriener and Leslie Lamport and Tomer Libal and Stephan Merz},
  title     = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {1--16},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KrcL},
  doi       = {10.29007/cpbz}}

@inproceedings{ARQNL2014:Logic_for_Verifying_Metric,
  author    = {Ping Hou and Yifei Chen},
  title     = {A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {17--30},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/CG},
  doi       = {10.29007/smg4}}

@inproceedings{ARQNL2014:Problem_Libraries_for_Non_Classical,
  author    = {Jens Otten and Thomas Raths},
  title     = {Problem Libraries for Non-Classical Logics},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {31--36},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cGW},
  doi       = {10.29007/mkdw}}

@inproceedings{ARQNL2014:HOL_Provers_for_First_order,
  author    = {Christoph Benzm\textbackslash{}"uller},
  title     = {HOL Provers for First-order Modal Logics --- Experiments},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {37--41},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sdnL},
  doi       = {10.29007/przw}}

@inproceedings{ARQNL2014:Proof_Support_for_Common,
  author    = {Till Mossakowski and Mihai Codescu and Oliver Kutz and Christoph Lange and Michael Gr\textbackslash{}"uninger},
  title     = {Proof Support for Common Logic},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {42--58},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/zPd},
  doi       = {10.29007/2ksh}}

@inproceedings{ARQNL2014:Embedding_of_Quantified_Higher_Order,
  author    = {Max Wisniewski and Alexander Steen},
  title     = {Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {59--64},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cww},
  doi       = {10.29007/dzc2}}

@inproceedings{ARQNL2014:Dialogues_for_proof_search,
  author    = {Jesse Alama},
  title     = {Dialogues for proof search},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {65--70},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Q5SW},
  doi       = {10.29007/5t86}}

@inproceedings{ARQNL2014:Theorem_Proving_for_Logic,
  author    = {Hans De Nivelle},
  title     = {Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {71--86},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/2rv},
  doi       = {10.29007/6qpn}}