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=Theor.~Comput.~Sci. AND Volume=403
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Global dynamics for non-autonomous reaction-diffusion neural networks with time-varying delays
Zhiguo Yang
,
Daoyi Xu
Theoretical Computer Science
403
(1), 2008, pp. 3-10
Theoretical advances in artificial immune systems
J. Timmis
,
A. Hone
,
T. Stibor
,
E. Clark
Theoretical Computer Science
403
(1), 2008, pp. 11-32
Comparing evolutionary algorithms to the
(1+1)
-EA
P.A. Borisovsky
,
A.V. Eremeev
Theoretical Computer Science
403
(1), 2008, pp. 33-41
Determining the equivalence for one-way quantum finite automata
Lvzhou Li
,
Daowen Qiu
Theoretical Computer Science
403
(1), 2008, pp. 42-51
Abstract interpretation and types for systems biology
François Fages
,
Sylvain Soliman
Theoretical Computer Science
403
(1), 2008, pp. 52-70
When-and how-can a cellular automaton be rewritten as a lattice gas?
Tommaso Toffoli
,
Silvio Capobianco
,
Patrizia Mentrasti
Theoretical Computer Science
403
(1), 2008, pp. 71-88
Interference automata
M.V. Panduranga Rao
Theoretical Computer Science
403
(1), 2008, pp. 89-103
Population size versus runtime of a simple evolutionary algorithm
Carsten Witt
Theoretical Computer Science
403
(1), 2008, pp. 104-120
Universality and programmability of quantum computers
Willem Fouché
,
Johannes Heidema
,
Glyn Jones
,
Petrus H. Potgieter
Theoretical Computer Science
403
(1), 2008, pp. 121-129
Erratum to ``Synthesis of multi-qudit hybrid and
d
-valued quantum logic circuits by decomposition''
Faisal Shah Khan
,
Marek Perkowski
Theoretical Computer Science
403
(1), 2008, pp. 130-131
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Jean-François Dufourd
Theoretical Computer Science
403
(2-3), 2008, pp. 133-159
CERES: An analysis of Fürstenberg's proof of the infinity of primes
Matthias Baaz
,
Stefan Hetzl
,
Alexander Leitsch
,
Clemens Richter
,
Hendrik Spohr
Theoretical Computer Science
403
(2-3), 2008, pp. 160-175
Testing data processing-oriented systems from stream X-machine models
Florentin Ipate
,
Mike Holcombe
Theoretical Computer Science
403
(2-3), 2008, pp. 176-191
Soft constraint abstraction based on semiring homomorphism
Sanjiang Li
,
Mingsheng Ying
Theoretical Computer Science
403
(2-3), 2008, pp. 192-201
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
B. Bérard
,
F. Cassez
,
S. Haddad
,
D. Lime
,
O.H. Roux
Theoretical Computer Science
403
(2-3), 2008, pp. 202-220
Weighted monadic datalog
Torsten Stüber
,
Heiko Vogler
Theoretical Computer Science
403
(2-3), 2008, pp. 221-238
Equational abstractions
José Meseguer
,
Miguel Palomino
,
Narciso Martí-Oliet
Theoretical Computer Science
403
(2-3), 2008, pp. 239-264
World-set decompositions: Expressiveness and efficient algorithms
Dan Olteanu
,
Christoph Koch
,
Lyublena Antova
Theoretical Computer Science
403
(2-3), 2008, pp. 265-284
A polynomial nominal unification algorithm
Christophe Calvès
,
Maribel Fernández
Theoretical Computer Science
403
(2-3), 2008, pp. 285-306
Loop detection in term rewriting using the eliminating unfoldings
Étienne Payet
Theoretical Computer Science
403
(2-3), 2008, pp. 307-327
Density elimination
Agata Ciabattoni
,
George Metcalfe
Theoretical Computer Science
403
(2-3), 2008, pp. 328-346
Uniformity and the Taylor expansion of ordinary lambda-terms
Thomas Ehrhard
,
Laurent Regnier
Theoretical Computer Science
403
(2-3), 2008, pp. 347-372
Arity hierarchy for temporal logics
Alexander Rabinovich
Theoretical Computer Science
403
(2-3), 2008, pp. 373-381
Verification of well-formed communicating recursive state machines
Laura Bozzelli
,
Salvatore La Torre
,
Adriano Peron
Theoretical Computer Science
403
(2-3), 2008, pp. 382-405
Erratum to ``S4 enriched multimodal categorial grammars are context-free''
Andrew R. Plummer
Theoretical Computer Science
403
(2-3), 2008, pp. 406-408
Seiten 1
2
>