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=290
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Trade-off results for connection management
Marios Mavronicolas
,
Nikos Papadakis
Theoretical Computer Science
290
(1), 2003, pp. 1-57
Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm
Frank Stomp
Theoretical Computer Science
290
(1), 2003, pp. 59-78
On infinite transition graphs having a decidable monadic theory
Didier Caucal
Theoretical Computer Science
290
(1), 2003, pp. 79-115
Performance measure sensitive congruences for Markovian process algebra
Marco Bernardo
,
Mario Bravetti
Theoretical Computer Science
290
(1), 2003, pp. 117-160
Polarized proof-nets and
\lambda\mu
-calculus
Olivier Laurent
Theoretical Computer Science
290
(1), 2003, pp. 161-188
A Cartesian closed category in Martin-Löf's intuitionistic type theory
Silvio Valentini
Theoretical Computer Science
290
(1), 2003, pp. 189-219
Bounded time-stamping in message-passing systems
Madhavan Mukund
,
K. Narayan Kumar
,
Milind Sohoni
Theoretical Computer Science
290
(1), 2003, pp. 221-239
Model checking of systems with many identical timed processes
Parosh Aziz Abdulla
,
Bengt Jonsson
Theoretical Computer Science
290
(1), 2003, pp. 241-264
Relaxed models for rewriting logic
Dorel Lucanu
Theoretical Computer Science
290
(1), 2003, pp. 265-289
Unions of non-disjoint theories and combinations of satisfiability procedures
Cesare Tinelli
,
Christophe Ringeissen
Theoretical Computer Science
290
(1), 2003, pp. 291-353
Discrete time generative-reactive probabilistic processes with different advancing speeds
M. Bravetti
,
A. Aldini
Theoretical Computer Science
290
(1), 2003, pp. 355-406
A full continuous model of polymorphism
Franco Barbanera
,
Stefano Berardi
Theoretical Computer Science
290
(1), 2003, pp. 407-428
Confluency and strong normalizability of call-by-value
\lambda\mu
-calculus
Koji Nakazawa
Theoretical Computer Science
290
(1), 2003, pp. 429-463
A comparison of statecharts step semantics
Andrea Maggiolo-Schettini
,
Adriano Peron
,
Simone Tini
Theoretical Computer Science
290
(1), 2003, pp. 465-498
Relating defeasible and normal logic programming through transformation properties
Carlos Iván Chesñevar
,
Jürgen Dix
,
Frieder Stolzenburg
,
Guillermo Ricardo Simari
Theoretical Computer Science
290
(1), 2003, pp. 499-529
Parsing as abstract interpretation of grammar semantics
Patrick Cousot
,
Radhia Cousot
Theoretical Computer Science
290
(1), 2003, pp. 531-544
A representation theorem for recovering contraction relations satisfying wci
Zhaohui Zhu
,
Bin Li
,
Xi'an Xiao
,
Shifu Chen
,
Wujia Zhu
Theoretical Computer Science
290
(1), 2003, pp. 545-564
Hybrid diagrams
Luca de Alfaro
,
Arjun Kapur
Theoretical Computer Science
290
(1), 2003, pp. 565-597
A category of compositional domain-models for separable stone spaces
Fabio Alessi
,
Paolo Baldan
,
Furio Honsell
Theoretical Computer Science
290
(1), 2003, pp. 599-635
An algebraic model of observable properties in distributed systems
Luca Bernardinello
,
Carlo Ferigato
,
Lucia Pomello
Theoretical Computer Science
290
(1), 2003, pp. 637-668
Axiomatization of frequent itemsets
T. Calders
,
J. Paredaens
Theoretical Computer Science
290
(1), 2003, pp. 669-693
On the symbolic reduction of processes with cryptographic functions
Roberto M. Amadio
,
Denis Lugiez
,
Vincent Vanackère
Theoretical Computer Science
290
(1), 2003, pp. 695-740
A type system for JVM threads
Cosimo Laneve
Theoretical Computer Science
290
(1), 2003, pp. 741-778
Unterstanding the mismatch combinator in chi calculus
Yuxi Fu
,
Zhenrong Yang
Theoretical Computer Science
290
(1), 2003, pp. 779-830
Equivalence of conservative, free, linear program schemas is decidable
Michael R. Laurence
,
Sebastian Danicic
,
Mark Harman
,
Rob Hierons
,
John Howroyd
Theoretical Computer Science
290
(1), 2003, pp. 831-862
Seiten 1
2
3
4
>