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
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 403; Issue 2-3
Main
Theoretical Computer Science
Volume 403; Issue 2-3
Theoretical Computer Science
Volume 403; Issue 2-3
1
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Jean-François Dufourd
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 2008
2
S4 enriched multimodal categorial grammars are context-free: Corrigendum
Andrew R. Plummer
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 167 KB
Your tags:
english, 2008
3
CERES: An analysis of Fürstenberg’s proof of the infinity of primes
Matthias Baaz
,
Stefan Hetzl
,
Alexander Leitsch
,
Clemens Richter
,
Hendrik Spohr
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 355 KB
Your tags:
english, 2008
4
Testing data processing-oriented systems from stream X-machine models
Florentin Ipate
,
Mike Holcombe
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 579 KB
Your tags:
english, 2008
5
Soft constraint abstraction based on semiring homomorphism
Sanjiang Li
,
Mingsheng Ying
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 406 KB
Your tags:
english, 2008
6
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
B. Bérard
,
F. Cassez
,
S. Haddad
,
D. Lime
,
O.H. Roux
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.12 MB
Your tags:
english, 2008
7
Weighted monadic datalog
Torsten Stüber
,
Heiko Vogler
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 552 KB
Your tags:
english, 2008
8
Equational abstractions
José Meseguer
,
Miguel Palomino
,
Narciso Martí-Oliet
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 623 KB
Your tags:
english, 2008
9
World-set decompositions: Expressiveness and efficient algorithms
Dan Olteanu
,
Christoph Koch
,
Lyublena Antova
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.39 MB
Your tags:
english, 2008
10
Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]
Stefan Milius
,
Lawrence S. Moss
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 308 KB
Your tags:
english, 2008
11
Loop detection in term rewriting using the eliminating unfoldings
Étienne Payet
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.25 MB
Your tags:
english, 2008
12
Density elimination
Agata Ciabattoni
,
George Metcalfe
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 705 KB
Your tags:
english, 2008
13
Arity hierarchy for temporal logics
Alexander Rabinovich
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 346 KB
Your tags:
english, 2008
14
Verification of well-formed communicating recursive state machines
Laura Bozzelli
,
Salvatore La Torre
,
Adriano Peron
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 898 KB
Your tags:
english, 2008
15
A polynomial nominal unification algorithm
Christophe Calvès
,
Maribel Fernández
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.57 MB
Your tags:
english, 2008
16
Uniformity and the Taylor expansion of ordinary lambda-terms
Thomas Ehrhard
,
Laurent Regnier
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 643 KB
Your tags:
english, 2008
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
×
×