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 379; Issue 1-2
Main
Theoretical Computer Science
Volume 379; Issue 1-2
Theoretical Computer Science
Volume 379; Issue 1-2
1
Operational semantics for Petri net components
Jan Friso Groote
,
Marc Voorhoeve
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 929 KB
Your tags:
english, 2007
2
Semantics of a sequential language for exact real-number computation
J. Raymundo Marcial-Romero
,
Martín H. Escardó
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 489 KB
Your tags:
english, 2007
3
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
Max Kanovich
,
Jacqueline Vauzeilles
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 619 KB
Your tags:
english, 2007
4
The differential -calculus
Lionel Vaux
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 719 KB
Your tags:
english, 2007
5
Reasoning about probabilistic sequential programs
R. Chadha
,
L. Cruz-Filipe
,
P. Mateus
,
A. Sernadas
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 465 KB
Your tags:
english, 2007
6
Ultraproducts and possible worlds semantics in institutions
Răzvan Diaconescu
,
Petros Stefaneas
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 445 KB
Your tags:
english, 2007
7
Generalising automaticity to modal properties of finite structures
Anuj Dawar
,
Stephan Kreutzer
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 419 KB
Your tags:
english, 2007
8
Complexity results on branching-time pushdown model checking
Laura Bozzelli
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 330 KB
Your tags:
english, 2007
9
Losing recognizability
Sándor Vágvölgyi
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 228 KB
Your tags:
english, 2007
10
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Eugene Asarin
,
Gerardo Schneider
,
Sergio Yovine
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 2.15 MB
Your tags:
english, 2007
11
Editorial Board
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 68 KB
Your tags:
english, 2007
12
From truth to computability II
Giorgi Japaridze
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 680 KB
Your tags:
english, 2007
13
Closure properties for the class of behavioral models
Manuel A. Martins
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 716 KB
Your tags:
english, 2007
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
×
×