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 352
Main
Electronic Notes in Theoretical Computer Science
Volume 352
Electronic Notes in Theoretical Computer Science
Volume 352
1
Bifibrations of Polycategories and Classical Linear Logic
Blanco, Nicolas
,
Zeilberger, Noam
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 337 KB
Your tags:
2020
2
Preface
Johann, Patricia
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 111 KB
Your tags:
2020
3
Equational Logic and Categorical Semantics for Multi-Languages
Buro, Samuele
,
Crole, Roy
,
Mastroeni, Isabella
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 687 KB
Your tags:
2020
4
Monads, Partial Evaluations, and Rewriting
Fritz, Tobias
,
Perrone, Paolo
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 57 KB
Your tags:
2020
5
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
Chen, Linan
,
Clerc, Florence
,
Panangaden, Prakash
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 134 KB
Your tags:
2020
6
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Edalat, Abbas
,
Farjudian, Amin
,
Mohammadian, Mina
,
Pattinson, Dirk
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 267 KB
Your tags:
2020
7
Continuous Monads
Manes, Ernie
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 551 KB
Your tags:
2020
8
Hennessy-Milner Results for Probabilistic PDL
Gu, Tao
,
Silva, Alexandra
,
Zanasi, Fabio
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 104 KB
Your tags:
2020
9
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices
Voorneveld, Niels
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 351 KB
Your tags:
2020
10
Parametrized Fixed Points and Their Applications to Session Types
Kavanagh, Ryan
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 376 KB
Your tags:
2020
11
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem
Paine, Thomas
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2020
File:
PDF, 271 KB
Your tags:
2020
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
×
×