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 105; Issue 1
Main
Information and Computation
Volume 105; Issue 1
Information and Computation
Volume 105; Issue 1
1
On Functors Expressible in the Polymorphic Typed Lambda Calculus
J.C. Reynolds
,
G.D. Plotkin
Journal:
Information and Computation
Year:
1993
File:
PDF, 900 KB
Your tags:
1993
2
Typing in Pure Type Systems
L.S.V. Jutting
Journal:
Information and Computation
Year:
1993
File:
PDF, 386 KB
Your tags:
1993
3
Continuous Information Systems
R. Hoofman
Journal:
Information and Computation
Year:
1993
File:
PDF, 972 KB
Your tags:
1993
4
On Checking versus Evaluation of Multiple Queries
W.I. Gasarch
,
L.A. Hemachandra
,
A. Hoene
Journal:
Information and Computation
Year:
1993
File:
PDF, 915 KB
Your tags:
1993
5
Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling of Directed Acyclic Graphs with Communication Delays
H. Jung
,
L.M. Kirousis
,
P. Spirakis
Journal:
Information and Computation
Year:
1993
File:
PDF, 419 KB
Your tags:
1993
6
The Anaphora Problem
E.S. Ristad
Journal:
Information and Computation
Year:
1993
File:
PDF, 1.17 MB
Your tags:
1993
7
More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems
S. Chaudhuri
Journal:
Information and Computation
Year:
1993
File:
PDF, 1.19 MB
Your tags:
1993
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
×
×
