Search dblp for Publications

export results for "toc:db/conf/itp/par2010.bht:"

 download as .bib file

@proceedings{DBLP:conf/itp/2010par,
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://easychair.org/publications/volume/PAR-10},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/2010par.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/000110,
  author       = {Andreas Abel},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {MiniAgda: Integrating Sized and Dependent Types},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {18--33},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/322q},
  doi          = {10.29007/322Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/000110.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/AltenkirchD10,
  author       = {Thorsten Altenkirch and
                  Nils Anders Danielsson},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Termination Checking in the Presence of Nested Inductive and Coinductive
                  Types},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {101--106},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/n51d},
  doi          = {10.29007/N51D},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/AltenkirchD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/CoenV10,
  author       = {Claudio Sacerdoti Coen and
                  Silvio Valentini},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {General Recursion and Formal Topology},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {72--83},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/hl75},
  doi          = {10.29007/HL75},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/CoenV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/Danielsson10,
  author       = {Nils Anders Danielsson},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Beating the Productivity Checker Using Embedded Languages},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {34--54},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/l41f},
  doi          = {10.29007/L41F},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/Danielsson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/Krauss10,
  author       = {Alexander Krauss},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Recursive Definitions of Monadic Functions},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/1mdt},
  doi          = {10.29007/1MDT},
  timestamp    = {Mon, 26 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/Krauss10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/MaamriaB10,
  author       = {Issam Maamria and
                  Michael J. Butler},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Rewriting and Well-Definedness within a Proof System},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {55--71},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/b7wc},
  doi          = {10.29007/B7WC},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/MaamriaB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/McBride10,
  author       = {Conor McBride},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Djinn, Monotonic},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {14--17},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/33k5},
  doi          = {10.29007/33K5},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/McBride10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/Mendel-GleasonH10,
  author       = {Gavin Mendel{-}Gleason and
                  Geoff W. Hamilton},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Cyclic Proofs and Coinductive Principles},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {107--113},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/hxgm},
  doi          = {10.29007/HXGM},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/Mendel-GleasonH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/StumpSW10,
  author       = {Aaron Stump and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Termination Casts: {A} Flexible Approach to Termination with General
                  Recursion},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {84--100},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/3w36},
  doi          = {10.29007/3W36},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/StumpSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/Uustalu10,
  author       = {Tarmo Uustalu},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Antifounded Coinduction in Type Theory},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {114},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/gh62},
  doi          = {10.29007/GH62},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/Uustalu10.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.