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 51; Issue 1-2
Main
Theoretical Computer Science
Volume 51; Issue 1-2
Theoretical Computer Science
Volume 51; Issue 1-2
1
Editorial Board
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1987
2
On the syntax of Martin-Löf's type theories
A.S. Troelstra
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 2.58 MB
Your tags:
english, 1987
3
Analysis of Dehn's algorithm by critical pairs
Philippe Le Chenadec
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 2.54 MB
Your tags:
english, 1987
4
More complicated questions about maxima and minima, and some closures of NP
Klaus W. Wagner
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 2.87 MB
Your tags:
english, 1987
5
Characteristics of graph languages generated by edge replacement
Annegret Habel
,
Hans-Jörg Kreowski
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 5.79 MB
Your tags:
english, 1987
6
Une note sur le théorème de caractérisation des générateurs algébriques
Joffroy Beauquier
,
Francoise Gire
Journal:
Theoretical Computer Science
Year:
1987
File:
PDF, 1.09 MB
Your tags:
1987
7
Diagonalizations over polynomial time computable sets
Klaus Ambos-Spies
,
Hans Fleischhack
,
Hagen Huwig
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 3.42 MB
Your tags:
english, 1987
8
A characterization of passing compatibility for parameterized specifications
F. Orejas
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.27 MB
Your tags:
english, 1987
9
An O(nlg k · 2n2) time and O(k · 2nk) space algorithm for certain NP-complete problems
Jozef Vyskoc̆
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 741 KB
Your tags:
english, 1987
10
On the time required to sum n semigroup elements on a parallel machine with simultaneous writes
Ian Parberry
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 1987
11
2nd conference on theoretical aspects of reasoning about knowledge : March 6–9, 1988, Monterey, CA, U.S.A.
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 166 KB
Your tags:
english, 1987
12
Contents EATCS bulletin : No. 32, June 1987
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 254 KB
Your tags:
english, 1987
13
On the consistency of Koomen's Fair Abstraction Rule
J.C.M. Baeten
,
J.A. Bergstra
,
J.W. Klop
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 4.65 MB
Your tags:
english, 1987
14
On unambiguous reductions of monoids of unambiguous relations
Arturo Carpi
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 616 KB
Your tags:
english, 1987
15
Constructive universal algebra: an introduction
Edouard G Belaga
Journal:
Theoretical Computer Science
Year:
1987
File:
PDF, 966 KB
Your tags:
1987
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
×
×