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 33; Issue none
Main
Electronic Notes in Theoretical Computer Science
Volume 33; Issue none
Electronic Notes in Theoretical Computer Science
Volume 33; Issue none
1
Preface: Volume 33
Horst Reichel
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 39 KB
Your tags:
english, 2000
2
Constraints, Adjunctions and (Co)algebras
Ola Angelsmark
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 486 KB
Your tags:
2000
3
Compositional Constructor Interpretation over Coalgebraic Models for the π—Calculus
Michael Baldamus
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.18 MB
Your tags:
2000
4
A Logic for Coalgebraic Simulation
Alexandru Baltag
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 940 KB
Your tags:
2000
5
An Algebra-Coalgebra Framework for System Specification
Corina Cîrstea
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.61 MB
Your tags:
2000
6
Coalgebraic structure from weak limit preserving functors
H. Peter Gumm
,
Tobias Schröder
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.07 MB
Your tags:
2000
7
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
Furio Honsell
,
Marina Lenisa
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.45 MB
Your tags:
2000
8
Towards a Duality Result in Coalgebraic Modal Logic
Bart Jacobs
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
Language:
scottish gaelic, gaelic
File:
PDF, 1.61 MB
Your tags:
scottish gaelic, gaelic, 2000
9
Notes on Coalgebras, Cofibrations and Concurrency
Alexander Kurz
,
Dirk Pattinson
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.74 MB
Your tags:
2000
10
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
Marina Lenisa
,
John Power
,
Hiroshi Watanabe
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.42 MB
Your tags:
2000
11
Observation systems
Luís Monteiro
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 688 KB
Your tags:
2000
12
A Coalgebraic Semantics of Subtyping
Erik Poll
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 893 KB
Your tags:
2000
13
Coalgebras and Modal Logic
Martin Rößiger
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.15 MB
Your tags:
2000
14
Coalgebras for Binary Methods
Hendrik Tews
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 32 KB
Your tags:
2000
15
On Corelations, Cokernels, and Coequations
Uwe Wolter
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1.12 MB
Your tags:
2000
16
Coinduction for recursive data types: partial orders, metric spaces and Ω-categories.
James Worrell
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 1020 KB
Your tags:
2000
17
Incompleteness of Behavioral Logics
Samuel Buss
,
Grigore Roşu
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2000
File:
PDF, 905 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
×
×