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 412; Issue 28
Main
Theoretical Computer Science
Volume 412; Issue 28
Theoretical Computer Science
Volume 412; Issue 28
1
SOS rule formats for zero and unit elements
Luca Aceto
,
Matteo Cimini
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
,
Michel A. Reniers
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 415 KB
Your tags:
english, 2011
2
On the ambiguation of Polish notation
Albert Visser
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 260 KB
Your tags:
english, 2011
3
On the axiomatizability of priority II
Luca Aceto
,
Taolue Chen
,
Anna Ingolfsdottir
,
Bas Luttik
,
Jaco van de Pol
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 264 KB
Your tags:
english, 2011
4
A linear translation from CTL* to the first-order modal μ -calculus
Sjoerd Cranen
,
Jan Friso Groote
,
Michel Reniers
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 278 KB
Your tags:
english, 2011
5
Information hiding in probabilistic concurrent systems
Miguel E. Andrés
,
Catuscia Palamidessi
,
Peter van Rossum
,
Ana Sokolova
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 479 KB
Your tags:
english, 2011
6
Unguardedness mostly means many solutions
Jos C.M. Baeten
,
Bas Luttik
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 261 KB
Your tags:
english, 2011
7
The correctness of Newman’s typability algorithm and some of its extensions
Herman Geuvers
,
Robbert Krebbers
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 500 KB
Your tags:
english, 2011
8
Verification of mobile ad hoc networks: An algebraic approach
Fatemeh Ghassemi
,
Wan Fokkink
,
Ali Movaghar
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 449 KB
Your tags:
english, 2011
9
Fixing Zeno gaps
Peter Höfner
,
Bernhard Möller
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 466 KB
Your tags:
english, 2011
10
The free process algebra generated by , and
Piet H. Rodenburg
,
Jan Willem Klop
,
Karst Koymans
,
Jos Vrancken
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 269 KB
Your tags:
english, 2011
11
Derivation tree analysis for accelerated fixed-point computation
Javier Esparza
,
Stefan Kiefer
,
Michael Luttenberger
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 345 KB
Your tags:
english, 2011
12
Metrics for weighted transition systems: Axiomatization and complexity
Kim G. Larsen
,
Uli Fahrenberg
,
Claus Thrane
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 464 KB
Your tags:
english, 2011
13
Probabilities, distribution monads, and convex categories
Bart Jacobs
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 381 KB
Your tags:
english, 2011
14
Interface theories for concurrency and data
Sebastian S. Bauer
,
Rolf Hennicker
,
Martin Wirsing
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 717 KB
Your tags:
english, 2011
15
On the algebra of structured specifications
Răzvan Diaconescu
,
Ionuţ Ţuţu
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 469 KB
Your tags:
english, 2011
16
On equal -terms
Jörg Endrullis
,
Clemens Grabmayer
,
Jan Willem Klop
,
Vincent van Oostrom
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 878 KB
Your tags:
english, 2011
17
Continuity of operators on continuous and discrete time streams
J.V. Tucker
,
J.I. Zucker
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 413 KB
Your tags:
english, 2011
18
Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday
Inge Bethke
,
Alban Ponse
,
Piet H. Rodenburg
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 150 KB
Your tags:
english, 2011
19
Editorial Board
Journal:
Theoretical Computer Science
Year:
2011
File:
PDF, 58 KB
Your tags:
2011
20
A calculus for four-valued sequential logic
Jan A. Bergstra
,
Jaco van de Pol
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 228 KB
Your tags:
english, 2011
21
On cool congruence formats for weak bisimulations
R.J. van Glabbeek
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 387 KB
Your tags:
english, 2011
22
Safe reasoning with Logic LTS
Gerald Lüttgen
,
Walter Vogler
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 714 KB
Your tags:
english, 2011
23
Lazy productivity via termination
Jörg Endrullis
,
Dimitri Hendriks
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 393 KB
Your tags:
english, 2011
24
Brouwer’s -fixed point and Sperner’s lemma
Dirk van Dalen
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 294 KB
Your tags:
english, 2011
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
×
×