Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=212
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the expressive power of univariate equations over sets of natural numbers
Alexander Okhotin
,
Panos Rondogiannis
Information and Computation
212
, 2012, pp. 1-14
Unambiguous finite automata over a unary alphabet
Alexander Okhotin
Information and Computation
212
, 2012, pp. 15-36
The price of anarchy on uniformly related machines revisited
Leah Epstein
,
Rob van Stee
Information and Computation
212
, 2012, pp. 37-54
A classification of 20-trinucleotide circular codes
Christian J. Michel
,
Giuseppe Pirillo
,
Mario A. Pirillo
Information and Computation
212
, 2012, pp. 55-63
An algebra of behavioural types
António Ravara
,
Pedro Resende
,
Vasco T. Vasconcelos
Information and Computation
212
, 2012, pp. 64-91
Deciding safety properties in infinite-state pi-calculus via behavioural types
Lucia Acciai
,
Michele Boreale
Information and Computation
212
, 2012, pp. 92-117
Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms''
Murdoch J. Gabbay
,
Dominic P. Mulligan
Information and Computation
212
, 2012, pp. 119-119