Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cade/Autexier05,
  author       = {Serge Autexier},
  editor       = {Robert Nieuwenhuis},
  title        = {The CoRe Calculus},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_7},
  doi          = {10.1007/11532231\_7},
  timestamp    = {Sun, 02 Oct 2022 15:55:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Autexier05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BaaderG05,
  author       = {Franz Baader and
                  Silvio Ghilardi},
  editor       = {Robert Nieuwenhuis},
  title        = {Connecting Many-Sorted Theories},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {278--294},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_21},
  doi          = {10.1007/11532231\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BaaderG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BaumgartnerT05,
  author       = {Peter Baumgartner and
                  Cesare Tinelli},
  editor       = {Robert Nieuwenhuis},
  title        = {The Model Evolution Calculus with Equality},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {392--408},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_29},
  doi          = {10.1007/11532231\_29},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BaumgartnerT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BechhoferHT05,
  author       = {Sean Bechhofer and
                  Ian Horrocks and
                  Daniele Turi},
  editor       = {Robert Nieuwenhuis},
  title        = {The {OWL} Instance Store: System Description},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {177--181},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_13},
  doi          = {10.1007/11532231\_13},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BechhoferHT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Benedetti05,
  author       = {Marco Benedetti},
  editor       = {Robert Nieuwenhuis},
  title        = {sKizzo: {A} Suite to Evaluate and Certify QBFs},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {369--376},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_27},
  doi          = {10.1007/11532231\_27},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Benedetti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BozzanoBCJRSS05,
  author       = {Marco Bozzano and
                  Roberto Bruttomesso and
                  Alessandro Cimatti and
                  Tommi A. Junttila and
                  Peter van Rossum and
                  Stephan Schulz and
                  Roberto Sebastiani},
  editor       = {Robert Nieuwenhuis},
  title        = {The MathSAT 3 System},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {315--321},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_23},
  doi          = {10.1007/11532231\_23},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Brown05,
  author       = {Chad E. Brown},
  editor       = {Robert Nieuwenhuis},
  title        = {Reasoning in Extensional Type Theory with Equality},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_3},
  doi          = {10.1007/11532231\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Brown05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BryantS05,
  author       = {Randal E. Bryant and
                  Sanjit A. Seshia},
  editor       = {Robert Nieuwenhuis},
  title        = {Decision Procedures Customized for Formal Verification},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {255--259},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_19},
  doi          = {10.1007/11532231\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BryantS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CastelliniS05,
  author       = {Claudio Castellini and
                  Alan Smaill},
  editor       = {Robert Nieuwenhuis},
  title        = {Proof Planning for First-Order Temporal Logic},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {235--249},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_17},
  doi          = {10.1007/11532231\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CastelliniS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ChaudhuriP05,
  author       = {Kaustuv Chaudhuri and
                  Frank Pfenning},
  editor       = {Robert Nieuwenhuis},
  title        = {A Focusing Inverse Method Theorem Prover for First-Order Linear Logic},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_6},
  doi          = {10.1007/11532231\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ChaudhuriP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ContejeanC05,
  author       = {Evelyne Contejean and
                  Pierre Corbineau},
  editor       = {Robert Nieuwenhuis},
  title        = {Reflecting Proofs in First-Order Logic with Equality},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {7--22},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_2},
  doi          = {10.1007/11532231\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ContejeanC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Dowek05,
  author       = {Gilles Dowek},
  editor       = {Robert Nieuwenhuis},
  title        = {What Do We Know When We Know That a Theory Is Consistent?},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {1--6},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_1},
  doi          = {10.1007/11532231\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Dowek05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DufayFM05,
  author       = {Guillaume Dufay and
                  Amy P. Felty and
                  Stan Matwin},
  editor       = {Robert Nieuwenhuis},
  title        = {Privacy-Sensitive Information Flow with {JML}},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_9},
  doi          = {10.1007/11532231\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DufayFM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FermullerP05,
  author       = {Christian G. Ferm{\"{u}}ller and
                  Reinhard Pichler},
  editor       = {Robert Nieuwenhuis},
  title        = {Model Representation via Contexts and Implicit Generalizations},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {409--423},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_30},
  doi          = {10.1007/11532231\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FermullerP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GodoyT05,
  author       = {Guillem Godoy and
                  Ashish Tiwari},
  editor       = {Robert Nieuwenhuis},
  title        = {Termination of Rewrite Systems with Shallow Right-Linear, Collapsing,
                  and Right-Ground Rules},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {164--176},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_12},
  doi          = {10.1007/11532231\_12},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/GodoyT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HustadtKS05,
  author       = {Ullrich Hustadt and
                  Boris Konev and
                  Renate A. Schmidt},
  editor       = {Robert Nieuwenhuis},
  title        = {Deciding Monodic Fragments by Temporal Resolution},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_15},
  doi          = {10.1007/11532231\_15},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KonevWZ05,
  author       = {Boris Konev and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Robert Nieuwenhuis},
  title        = {Temporal Logics over Transitive States},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {182--203},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_14},
  doi          = {10.1007/11532231\_14},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/KonevWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KuncakNR05,
  author       = {Viktor Kuncak and
                  Huu Hai Nguyen and
                  Martin C. Rinard},
  editor       = {Robert Nieuwenhuis},
  title        = {An Algorithm for Deciding {BAPA:} Boolean Algebra with Presburger
                  Arithmetic},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {260--277},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_20},
  doi          = {10.1007/11532231\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KuncakNR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Lev-AmiIRSSY05,
  author       = {Tal Lev{-}Ami and
                  Neil Immerman and
                  Thomas W. Reps and
                  Shmuel Sagiv and
                  Siddharth Srivastava and
                  Greta Yorsh},
  editor       = {Robert Nieuwenhuis},
  title        = {Simulating Reachability Using First-Order Logic with Applications
                  to Verification of Linked Data Structures},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {99--115},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_8},
  doi          = {10.1007/11532231\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Lev-AmiIRSSY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LevyNV05,
  author       = {Jordi Levy and
                  Joachim Niehren and
                  Mateu Villaret},
  editor       = {Robert Nieuwenhuis},
  title        = {Well-Nested Context Unification},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_11},
  doi          = {10.1007/11532231\_11},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/LevyNV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/McLaughlinH05,
  author       = {Sean McLaughlin and
                  John Harrison},
  editor       = {Robert Nieuwenhuis},
  title        = {A Proof-Producing Decision Procedure for Real Arithmetic},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {295--314},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_22},
  doi          = {10.1007/11532231\_22},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/McLaughlinH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MeierM05,
  author       = {Andreas Meier and
                  Erica Melis},
  editor       = {Robert Nieuwenhuis},
  title        = {System Description: Multi {A} Multi-strategy Proof Planner},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {250--254},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_18},
  doi          = {10.1007/11532231\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MeierM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/OgawaHO05,
  author       = {Mizuhito Ogawa and
                  Eiichi Horita and
                  Satoshi Ono},
  editor       = {Robert Nieuwenhuis},
  title        = {Proving Properties of Incremental Merkle Trees},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {424--440},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_31},
  doi          = {10.1007/11532231\_31},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/OgawaHO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Pientka05,
  author       = {Brigitte Pientka},
  editor       = {Robert Nieuwenhuis},
  title        = {Tabling for Higher-Order Logic Programming},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_5},
  doi          = {10.1007/11532231\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Pientka05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SinnerK05,
  author       = {Alex Sinner and
                  Thomas Kleemann},
  editor       = {Robert Nieuwenhuis},
  title        = {KRHyper - In Your Pocket},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {452--457},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_33},
  doi          = {10.1007/11532231\_33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SinnerK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Sofronie-Stokkermans05,
  author       = {Viorica Sofronie{-}Stokkermans},
  editor       = {Robert Nieuwenhuis},
  title        = {Hierarchic Reasoning in Local Theory Extensions},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_16},
  doi          = {10.1007/11532231\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Sofronie-Stokkermans05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Steel05,
  author       = {Graham Steel},
  editor       = {Robert Nieuwenhuis},
  title        = {Deduction with {XOR} Constraints in Security {API} Modelling},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_24},
  doi          = {10.1007/11532231\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Steel05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Truderung05,
  author       = {Tomasz Truderung},
  editor       = {Robert Nieuwenhuis},
  title        = {Regular Protocols and Attacks with Regular Knowledge},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_28},
  doi          = {10.1007/11532231\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Truderung05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/UrbanT05,
  author       = {Christian Urban and
                  Christine Tasson},
  editor       = {Robert Nieuwenhuis},
  title        = {Nominal Techniques in Isabelle/HOL},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_4},
  doi          = {10.1007/11532231\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/UrbanT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/VermaSS05,
  author       = {Kumar Neeraj Verma and
                  Helmut Seidl and
                  Thomas Schwentick},
  editor       = {Robert Nieuwenhuis},
  title        = {On the Complexity of Equational Horn Clauses},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {337--352},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_25},
  doi          = {10.1007/11532231\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/VermaSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/YorshM05,
  author       = {Greta Yorsh and
                  Madanlal Musuvathi},
  editor       = {Robert Nieuwenhuis},
  title        = {A Combination Method for Generating Interpolants},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {353--368},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_26},
  doi          = {10.1007/11532231\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/YorshM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Zhang05,
  author       = {Jian Zhang},
  editor       = {Robert Nieuwenhuis},
  title        = {Computer Search for Counterexamples to Wilkie's Identity},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {441--451},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_32},
  doi          = {10.1007/11532231\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Zhang05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZhangSM05,
  author       = {Ting Zhang and
                  Henny B. Sipma and
                  Zohar Manna},
  editor       = {Robert Nieuwenhuis},
  title        = {The Decidability of the First-Order Theory of Knuth-Bendix Order},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_10},
  doi          = {10.1007/11532231\_10},
  timestamp    = {Tue, 04 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZhangSM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2005,
  editor       = {Robert Nieuwenhuis},
  title        = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231},
  doi          = {10.1007/11532231},
  isbn         = {3-540-28005-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2005.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.