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 239
Main
Information and Computation
Volume 239
Information and Computation
Volume 239
1
Isomorphism testing of Boolean functions computable by constant-depth circuits
Arvind, V.
,
Vasudev, Yadu
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 336 KB
Your tags:
english, 2014
2
Aeolus: A component model for the cloud
Di Cosmo, Roberto
,
Mauro, Jacopo
,
Zacchiroli, Stefano
,
Zavattaro, Gianluigi
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1009 KB
Your tags:
english, 2014
3
On the impact of link faults on Byzantine agreement
Biely, Martin
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 488 KB
Your tags:
english, 2014
4
Complexity of two-variable dependence logic and IF-logic
Kontinen, Juha
,
Kuusisto, Antti
,
Lohmann, Peter
,
Virtema, Jonni
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 487 KB
Your tags:
english, 2014
5
A collapse theorem for holographic algorithms with matchgates on domain size at most 4
Cai, Jin-Yi
,
Fu, Zhiguo
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 636 KB
Your tags:
english, 2014
6
Two-way automata making choices only at the endmarkers
Geffert, Viliam
,
Guillon, Bruno
,
Pighizzini, Giovanni
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 561 KB
Your tags:
english, 2014
7
One-way reversible and quantum finite automata with advice
Yamakami, Tomoyuki
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 876 KB
Your tags:
english, 2014
8
Covering space in the Weyl and Besicovitch topologies
Cervelle, Julien
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 371 KB
Your tags:
english, 2014
9
Refinement modal logic
Bozzelli, Laura
,
van Ditmarsch, Hans
,
French, Tim
,
Hales, James
,
Pinchinat, Sophie
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1008 KB
Your tags:
english, 2014
10
Patterns with bounded treewidth
Reidenbach, Daniel
,
Schmid, Markus L.
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 490 KB
Your tags:
english, 2014
11
Sequential aggregate signatures with lazy verification from trapdoor permutations
Brogle, Kyle
,
Goldberg, Sharon
,
Reyzin, Leonid
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 721 KB
Your tags:
english, 2014
12
Catalytic and communicating Petri nets are Turing complete
Ciobanu, Gabriel
,
Pinna, G. Michele
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 528 KB
Your tags:
english, 2014
13
6th International Conference on Language and Automata Theory and Applications (LATA 2012)
Dediu, Adrian-Horia
,
Martín-Vide, Carlos
,
Truthe, Bianca
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 134 KB
Your tags:
english, 2014
14
Krivine machines and higher-order schemes
Salvati, Sylvain
,
Walukiewicz, Igor
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 697 KB
Your tags:
english, 2014
15
A Kraft–McMillan inequality for free semigroups of upper-triangular matrices
Honkala, Juha
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 218 KB
Your tags:
english, 2014
16
The pseudopalindromic completion of regular languages
Fazekas, Szilárd Zsolt
,
Manea, Florin
,
Mercaş, Robert
,
Shikishima-Tsuji, Kayoko
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 487 KB
Your tags:
english, 2014
17
Linear logical relations and observational equivalences for session-based concurrency
Pérez, Jorge A.
,
Caires, Luís
,
Pfenning, Frank
,
Toninho, Bernardo
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1.11 MB
Your tags:
english, 2014
18
Conservative groupoids recognize only regular languages
Beaudry, Martin
,
Dubé, Danny
,
Dubé, Maxime
,
Latendresse, Mario
,
Tesson, Pascal
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 495 KB
Your tags:
english, 2014
19
On efficient implicit OBDD-based algorithms for maximal matchings
Bollig, Beate
,
Pröger, Tobias
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 547 KB
Your tags:
english, 2014
20
Bounding messages for free in security protocols – extension to various security properties
Arapinis, Myrto
,
Duflot, Marie
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 850 KB
Your tags:
english, 2014
21
Editorial Board
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 39 KB
Your tags:
english, 2014
22
Editorial Board
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 38 KB
Your tags:
english, 2014
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
×
×