![](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
Information and Computation, Volume 212
Volume 212, March 2012
- Alexander Okhotin
, Panos Rondogiannis:
On the expressive power of univariate equations over sets of natural numbers. 1-14 - Alexander Okhotin
:
Unambiguous finite automata over a unary alphabet. 15-36 - Leah Epstein, Rob van Stee:
The price of anarchy on uniformly related machines revisited. 37-54 - Christian J. Michel, Giuseppe Pirillo, Mario A. Pirillo:
A classification of 20-trinucleotide circular codes. 55-63 - António Ravara
, Pedro Resende
, Vasco Thudichum Vasconcelos
:
An Algebra of Behavioural Types. 64-91 - Lucia Acciai, Michele Boreale
:
Deciding safety properties in infinite-state pi-calculus via behavioural types. 92-117
- Murdoch James Gabbay
, Dominic P. Mulligan
:
Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. 119
![](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.