Search dblp for Publications

export results for "toc:db/conf/cade/paar2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/Armando08,
  author       = {Alessandro Armando},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Model Checking: New Challenges and Opportunities for Automated Reasoning
                  (Invited Talk)},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/invited-1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Armando08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Arthan08,
  author       = {Rob Arthan},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Mechanized Reasoning for Continuous Problem Domains (Invited Talk)},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/invited-2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Arthan08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BenzmullerRSS08,
  author       = {Christoph Benzm{\"{u}}ller and
                  Florian Rabe and
                  Carsten Sch{\"{u}}rmann and
                  Geoff Sutcliffe},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Evaluation of Systems for Higher-order Logic {(ESHOL)}},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/invited-4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BenzmullerRSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Dershowitz08a,
  author       = {Nachum Dershowitz},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Bit Inference},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Dershowitz08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Hinrichs08,
  author       = {Timothy L. Hinrichs},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Collaborative Programming: Applications of Logic and Automated Reasoning},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Hinrichs08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MarcosM08,
  author       = {Jo{\~{a}}o Marcos and
                  Dalmo Mendonca},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Towards Fully Automated Axiom Extraction for Finite-Valued Logics},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/MarcosM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NivelleW08,
  author       = {Hans de Nivelle and
                  Piotr Witkowski},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {A Small Framework for Proof Checking},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/NivelleW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PeaseSST08,
  author       = {Adam Pease and
                  Geoff Sutcliffe and
                  Nick Siegel and
                  Steven Trac},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {The Annual {SUMO} Reasoning Prizes at {CASC}},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/PeaseSST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PelzerG08,
  author       = {Bj{\"{o}}rn Pelzer and
                  Ingo Gl{\"{o}}ckner},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Combining Theorem Proving with Natural Language Processing},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/PelzerG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/RathsO08,
  author       = {Thomas Raths and
                  Jens Otten},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {randoCoP: Randomizing the Proof Search Order in the Connection Calculus},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/RathsO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SilvaSCDRM08,
  author       = {Paulo Pinheiro da Silva and
                  Geoff Sutcliffe and
                  Cynthia Chang and
                  Li Ding and
                  Nicholas Del Rio and
                  Deborah L. McGuinness},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Presenting {TSTP} Proofs with Inference Web Tools},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/SilvaSCDRM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Slaney08,
  author       = {John K. Slaney},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Constraint Modelling: {A} Challenge for First Order Automated Reasoning
                  (Invited Talk)},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/invited-3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Slaney08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TracSP08,
  author       = {Steven Trac and
                  Geoff Sutcliffe and
                  Adam Pease},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Integration of the TPTPWorld into SigmaKEE},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/TracSP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WeidenbachW08,
  author       = {Christoph Weidenbach and
                  Patrick Wischnewski},
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Contextual Rewriting in {SPASS}},
  booktitle    = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373/paper-10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/WeidenbachW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2008paar,
  editor       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Proceedings of the First International Workshop on Practical Aspects
                  of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {373},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-373},
  urn          = {urn:nbn:de:0074-373-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/2008paar.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.