![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PAR 2010: Edinburgh, UK
- Ana Bove
, Ekaterina Komendantskaya, Milad Niqui:
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. EPTCS 43, 2010 - Alexander Krauss:
Recursive Definitions of Monadic Functions. 1-13 - Andreas Abel:
MiniAgda: Integrating Sized and Dependent Types. 14-28 - Nils Anders Danielsson:
Beating the Productivity Checker Using Embedded Languages. 29-48 - Issam Maamria, Michael J. Butler:
Rewriting and Well-Definedness within a Proof System. 49-64 - Claudio Sacerdoti Coen, Silvio Valentini:
General Recursion and Formal Topology. 65-75 - Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich:
Termination Casts: A Flexible Approach to Termination with General Recursion. 76-93
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.