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 31; Issue none
Main
Electronic Notes in Theoretical Computer Science
Volume 31; Issue none
Electronic Notes in Theoretical Computer Science
Volume 31; Issue none
1
Electronic Notes in Theoretical Computer Science
David Wolfram
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 24 KB
Your tags:
2000
2
On the Phenomenon of Autocomputability
Asat Arslanov
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 845 KB
Your tags:
2000
3
ProveEasy: Helping people learn to do proofs
Rod Burstall
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 714 KB
Your tags:
2000
4
An approach to strategies in concurrent systems
Bruce Davies
,
Graham Wrightson
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 24 KB
Your tags:
2000
5
Böhm's Theorem for Berarducci Trees
Mariangiola Dezani-Ciancaglini
,
Paula Severi
,
Fer-Jan de Vries
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.33 MB
Your tags:
2000
6
One Complexity Theorist's View of Quantum Computing
Lance Fortnow
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 767 KB
Your tags:
2000
7
Multiple-Conclusion System as Communication Calculus
Ken-etsu Fujita
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 867 KB
Your tags:
2000
8
Strong Completeness of a Narrowing Calculus for Conditional Rewrite Systems with Extra Variables
Mohamed Hamada
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 898 KB
Your tags:
2000
9
Algebraic Constraints, Automata, and Regular Languages
Bakhadyr Khoussainov
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 840 KB
Your tags:
2000
10
Automatic Synthesis of Schedulers in Timed Systems
Padmanabhan Krishnan
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 760 KB
Your tags:
2000
11
Dynamic Deterministic Pattern-Matching
Nadia Nedjah
,
Luiza de Macedo Mourelle
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 634 KB
Your tags:
2000
12
Pruning Terms for Principal Type Assignment
Takeuti Izumi
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 873 KB
Your tags:
2000
13
On a Simple Sampling Lemma
Bernd Gärtner
,
Emo Welzl
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 659 KB
Your tags:
2000
14
An ω-Automata Approach to the Compression of Bi-Level Images
YIH-KAI LIN
,
HSU-CHUN YEN
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 861 KB
Your tags:
2000
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
×
×