![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 135
Volume 135, Numbers 1-3, September 2005
- Duminda Wijesekera, Anil Nerode:
Tableaux for constructive concurrent dynamic logic. 1-72 - Fernando Ferreira
, Paulo Oliva:
Bounded functional interpretation. 73-112 - Marcus Tressl
:
The elementary theory of Dedekind cuts in polynomially bounded structures. 113-134 - Kerry Ojakian:
Upper and lower Ramsey bounds in bounded arithmetic. 135-150 - Wim Veldman:
Two simple sets that are not positively Borel. 151-209 - Claude Sureson:
A generalization of von Neumann regularity. 210-242 - Erik Palmgren:
Constructive completions of ordered sets, groups and fields. 243-262 - Clare Dixon
, Alexander Bolotov, Michael Fisher
:
Alternating automata and temporal logic normal forms. 263-285 - Piotr Kowalski
:
Geometric axioms for existentially closed Hasse fields. 286-302
![](https://dblp.org/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.