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 410; Issue 12-13
Main
Theoretical Computer Science
Volume 410; Issue 12-13
Theoretical Computer Science
Volume 410; Issue 12-13
1
Copower functors
H. Peter Gumm
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 794 KB
Your tags:
english, 2009
2
Executability of scenarios in Petri nets
Robert Lorenz
,
Gabriel Juhás
,
Robin Bergenthum
,
Jörg Desel
,
Sebastian Mauser
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 2.69 MB
Your tags:
english, 2009
3
Meadows and the equational specification of division
J.A. Bergstra
,
Y. Hirshfeld
,
J.V. Tucker
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 604 KB
Your tags:
english, 2009
4
A semantic approach to interpolation
Andrei Popescu
,
Traian Florin Şerbănuţă
,
Grigore Roşu
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.15 MB
Your tags:
english, 2009
5
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Simone Bova
,
Franco Montagna
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 978 KB
Your tags:
english, 2009
6
A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets
Murdoch J. Gabbay
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.61 MB
Your tags:
english, 2009
7
HasCasl: Integrated higher-order specification and program development
Lutz Schröder
,
Till Mossakowski
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.79 MB
Your tags:
english, 2009
8
Probabilistic Mobile Ambients
Marta Kwiatkowska
,
Gethin Norman
,
David Parker
,
Maria Grazia Vigliotti
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.55 MB
Your tags:
english, 2009
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
×
×