![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th CL&C 2016: Porto, Portugal
- Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi:
Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. EPTCS 213, 2016 - Bahareh Afshari
, Stefan Hetzl, Graham E. Leigh:
On the Herbrand content of LK. 1-10 - Ken Akiba:
Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory. 11-23 - Sam Sanders:
The computational content of Nonstandard Analysis. 24-40 - José Espírito Santo
:
A note on strong normalization in classical natural deduction. 41-51
![](https://dblp.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.