default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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.
last updated on 2025-12-04 01:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
