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 238; Issue 1-2
Main
Theoretical Computer Science
Volume 238; Issue 1-2
Theoretical Computer Science
Volume 238; Issue 1-2
1
DNF tautologies with a limited number of occurrences of every variable
P. Savický
,
Jiřı́ Sgall
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 69 KB
Your tags:
english, 2000
2
Pattern-matching algorithms based on term rewrite systems
Joost-Pieter Katoen
,
Albert Nymeyer
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 211 KB
Your tags:
english, 2000
3
Index
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 43 KB
Your tags:
english, 2000
4
Type dependencies for logic programs using ACI-unification
Michael Codish
,
Vitaly Lagoon
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 197 KB
Your tags:
english, 2000
5
Process languages and nets
Ludwik Czaja
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 217 KB
Your tags:
english, 2000
6
Confluence of extensional and non-extensional λ-calculi with explicit substitutions
Delia Kesner
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 242 KB
Your tags:
english, 2000
7
Loop checking in SLD-derivations by well-quasi-ordering of goals
Giuliano Pacini
,
Maria I. Sessa
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 172 KB
Your tags:
english, 2000
8
Congruential complements of ground term rewrite systems
Sándor Vágvölgyi
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 224 KB
Your tags:
english, 2000
9
Fixpoint semantics and simulation
Wim H. Hesselink
,
Albert Thijs
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 220 KB
Your tags:
english, 2000
10
A complexity analysis of bisimilarity for value-passing processes
Michele Boreale
,
Luca Trevisan
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 243 KB
Your tags:
english, 2000
11
The tree equivalence of linear recursion schemes
V. Sabelfeld
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 206 KB
Your tags:
english, 2000
12
A read-once lower bound and a (1,+k)-hierarchy for branching programs
P. Savický
,
S. Žák
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 143 KB
Your tags:
english, 2000
13
Generating irregular partitionable data structures
Prakash Panangaden
,
Clark Verbrugge
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 381 KB
Your tags:
english, 2000
14
Generalized filter models
Ines Margaria
,
Maddalena Zacchi
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 187 KB
Your tags:
english, 2000
15
Weak confluence and τ-inertness
Mingsheng Ying
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 124 KB
Your tags:
english, 2000
16
No feasible monotone interpolation for simple combinatorial reasoning
Noriko H. Arai
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 70 KB
Your tags:
english, 2000
17
Strictly causal functions have a unique fixed point
Holger Naundorf
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 82 KB
Your tags:
english, 2000
18
Towards a unified view of bisimulation: a comparative study
Markus Roggenbach
,
Mila Majster-Cederbaum
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 408 KB
Your tags:
english, 2000
19
What is a (non-constructive) non-monotone logical system?
Ph. Besnard
,
T. Schaub
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 69 KB
Your tags:
english, 2000
20
Linda-based applicative and imperative process algebras
Rocco De Nicola
,
Rosario Pugliese
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 323 KB
Your tags:
english, 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
×
×