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 185; Issue 2
Main
Theoretical Computer Science
Volume 185; Issue 2
Theoretical Computer Science
Volume 185; Issue 2
1
Preface
John Staples
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 116 KB
Your tags:
english, 1997
2
New Curry-Howard terms for full linear logic
David Albrecht
,
John N. Crossley
,
John S. Jeavons
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.05 MB
Your tags:
english, 1997
3
Covariant types
C. Barry Jay
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.30 MB
Your tags:
english, 1997
4
A fully distributed quorum consensus method with high fault-tolerance and low communication overhead
Xuemin Lin
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.26 MB
Your tags:
english, 1997
5
A first order logic of effects
Ian A. Mason
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.68 MB
Your tags:
english, 1997
6
Multi-dimensional logic programming: theoretical foundations
Mehmet A. Orgun
,
Du Weichang
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.04 MB
Your tags:
english, 1997
7
Many-to-many routing on trees via matchings
Grammati E. Pantziou
,
Alan Roberts
,
Antonis Symvonis
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.26 MB
Your tags:
english, 1997
8
A corrected 5NF definition for relational database design
Millist W. Vincent
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 994 KB
Your tags:
english, 1997
9
An order-sorted resolution in theory and practice
Trudy Weibel
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 1997
10
Author index volume 185 (1997)
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 61 KB
Your tags:
english, 1997
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
×
×