EPTCS 43 - PAR 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4555
- ask others
Ana Bove, Ekaterina Komendantskaya, Milad Niqui (Eds.): Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers. 2010 EPTCS 43 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4895
- ask others
Alexander Krauss: Recursive Definitions of Monadic Functions. ... 1-13
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4896
- ask others
Andreas Abel: MiniAgda: Integrating Sized and Dependent Types. ... 14-28
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4898
- ask others
Nils Anders Danielsson: Beating the Productivity Checker Using Embedded Languages. ... 29-48
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4897
- ask others
Issam Maamria, Michael Butler: Rewriting and Well-Definedness within a Proof System. ... 49-64
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4899
- ask others
Claudio Sacerdoti Coen, Silvio Valentini: General Recursion and Formal Topology. ... 65-75
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4900
- ask others
Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich: Termination Casts: A Flexible Approach to Termination with General Recursion. ... 76-93