Support us in the fight for the freedom of knowledge
Sign the petition
Hide info
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 70; Issue 2
Main
Theoretical Computer Science
Volume 70; Issue 2
Theoretical Computer Science
Volume 70; Issue 2
1
Fixed points in free process algebras, part II
Jerzy Tiuryn
,
David B. Benson
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.38 MB
Your tags:
english, 1990
2
A category-theoretic characterization of functional completeness
Giuseppe Longo
,
Eugenio Moggi
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 2.16 MB
Your tags:
english, 1990
3
A characterisation of deterministic context-free languages by means of right-congruences
Géraud Senizergues
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.97 MB
Your tags:
english, 1990
4
Cartesian closed categories of algebraic CPOs
Achim Jung
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.83 MB
Your tags:
english, 1990
5
On locally presented posets
Giorgio Gambosi
,
Jaroslav Nešetřil
,
Maurizio Talamo
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.17 MB
Your tags:
english, 1990
6
Cyclic rational transductions and polynomials of rational functions
Alain Terlutte
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.29 MB
Your tags:
english, 1990
7
AnO(nlgk⋅2n2) time and O(k⋅2nk) space algorithm for certain np-complete problems: Theoretical computer science 51 (1987) 221–227
J. Vyskoč
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 121 KB
Your tags:
english, 1990
8
The power of temporal proofs: Theoretical computer science 65 (1989) 35–83
Martín Abadi
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 85 KB
Your tags:
english, 1990
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
×
×