books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 290; Issue 1
Main
Theoretical Computer Science
Volume 290; Issue 1
Theoretical Computer Science
Volume 290; Issue 1
1
Correctness of substring-preprocessing in Boyer–Moore's pattern matching algorithm
Frank Stomp
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 162 KB
Your tags:
english, 2003
2
On infinite transition graphs having a decidable monadic theory
Didier Caucal
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 277 KB
Your tags:
english, 2003
3
Performance measure sensitive congruences for Markovian process algebras
Marco Bernardo
,
Mario Bravetti
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 359 KB
Your tags:
english, 2003
4
Trade-off results for connection management
Marios Mavronicolas
,
Nikos Papadakis
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 845 KB
Your tags:
english, 2003
5
Polarized proof-nets and λμ-calculus
Olivier Laurent
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 272 KB
Your tags:
english, 2003
6
A cartesian closed category in Martin-Löf's intuitionistic type theory
Silvio Valentini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 235 KB
Your tags:
english, 2003
7
Bounded time-stamping in message-passing systems
Madhavan Mukund
,
K. Narayan Kumar
,
Milind Sohoni
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 165 KB
Your tags:
english, 2003
8
Model checking of systems with many identical timed processes
Parosh Aziz Abdulla
,
Bengt Jonsson
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 202 KB
Your tags:
english, 2003
9
Relaxed models for rewriting logic
Dorel Lucanu
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 229 KB
Your tags:
english, 2003
10
Unions of non-disjoint theories and combinations of satisfiability procedures
Cesare Tinelli
,
Christophe Ringeissen
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 421 KB
Your tags:
english, 2003
11
Discrete time generative–reactive probabilistic processes with different advancing speeds
M. Bravetti
,
A. Aldini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 410 KB
Your tags:
english, 2003
12
A full continuous model of polymorphism
Franco Barbanera
,
Stefano Berardi
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 223 KB
Your tags:
english, 2003
13
Confluency and strong normalizability of call-by-value λμ-calculus
Koji Nakazawa
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 292 KB
Your tags:
english, 2003
14
A comparison of Statecharts step semantics
Andrea Maggiolo-Schettini
,
Adriano Peron
,
Simone Tini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 371 KB
Your tags:
english, 2003
15
Relating defeasible and normal logic programming through transformation properties
Carlos Iván Chesñevar
,
Jürgen Dix
,
Frieder Stolzenburg
,
G.R.Guillermo Ricardo Simari
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 322 KB
Your tags:
english, 2003
16
Parsing as abstract interpretation of grammar semantics
Patrick Cousot
,
Radhia Cousot
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 153 KB
Your tags:
english, 2003
17
A representation theorem for recovering contraction relations satisfying wci
Zhaohui Zhu
,
Bin Li
,
Xi'an Xiao
,
Shifu Chen
,
Wujia Zhu
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 219 KB
Your tags:
english, 2003
18
Hybrid diagrams
Luca de Alfaro
,
Arjun Kapur
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 347 KB
Your tags:
english, 2003
19
A category of compositional domain-models for separable Stone spaces
Fabio Alessi
,
Paolo Baldan
,
Furio Honsell
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 463 KB
Your tags:
english, 2003
20
An algebraic model of observable properties in distributed systems
Luca Bernardinello
,
Carlo Ferigato
,
Lucia Pomello
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 339 KB
Your tags:
english, 2003
21
A syntactical proof of the Marriage Lemma
Thierry Coquand
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 96 KB
Your tags:
english, 2003
22
Axiomatization of frequent itemsets
T. Calders
,
J. Paredaens
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 278 KB
Your tags:
english, 2003
23
On the symbolic reduction of processes with cryptographic functions
Roberto M. Amadio
,
Denis Lugiez
,
Vincent Vanackère
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 395 KB
Your tags:
english, 2003
24
A type system for JVM threads
Cosimo Laneve
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 329 KB
Your tags:
english, 2003
25
Understanding the mismatch combinator in chi calculus
Yuxi Fu
,
Zhenrong Yang
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 376 KB
Your tags:
english, 2003
26
Equivalence of conservative, free, linear program schemas is decidable
Michael R. Laurence
,
Sebastian Danicic
,
Mark Harman
,
Rob Hierons
,
John Howroyd
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 312 KB
Your tags:
english, 2003
27
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations
Roberta Gori
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 584 KB
Your tags:
english, 2003
28
Hybrid action systems
Mauno Rönkkö
,
Anders P. Ravn
,
Kaisa Sere
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 285 KB
Your tags:
english, 2003
29
Normalization, approximation, and semantics for combinator systems
Steffen van Bakel
,
Maribel Fernández
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 400 KB
Your tags:
english, 2003
30
Explicit versus implicit representations of subsets of the Herbrand universe
Reinhard Pichler
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 435 KB
Your tags:
english, 2003
31
Analysis of security protocols as open systems
Fabio Martinelli
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 417 KB
Your tags:
english, 2003
32
Editorial board
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 55 KB
Your tags:
english, 2003
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×