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 242
Main
Information and Computation
Volume 242
Information and Computation
Volume 242
1
Looking at mean-payoff and total-payoff through windows
Chatterjee, Krishnendu
,
Doyen, Laurent
,
Randour, Mickael
,
Raskin, Jean-François
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 907 KB
Your tags:
english, 2015
2
Model checking single agent behaviours by fluid approximation
Bortolussi, Luca
,
Hillston, Jane
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 1.90 MB
Your tags:
english, 2015
3
Resource-bounded martingales and computable Dowd-type generic sets
Kumabe, Masahiro
,
Suzuki, Toshio
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 604 KB
Your tags:
english, 2015
4
Pattern matching with variables: A multivariate complexity analysis
Fernau, Henning
,
Schmid, Markus L.
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 621 KB
Your tags:
english, 2015
5
Taming past LTL and flat counter systems
Demri, Stéphane
,
Dhar, Amit Kumar
,
Sangnier, Arnaud
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 2015
6
Special issue on SR 2013
Mogavero, Fabio
,
Murano, Aniello
,
Vardi, Moshe Y.
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 113 KB
Your tags:
english, 2015
7
Qualitative analysis of concurrent mean-payoff games
Chatterjee, Krishnendu
,
Ibsen-Jensen, Rasmus
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 681 KB
Your tags:
english, 2015
8
Iterated Boolean games
Gutierrez, Julian
,
Harrenstein, Paul
,
Wooldridge, Michael
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 721 KB
Your tags:
english, 2015
9
Uniform strategies, rational relations and jumping automata
Bozzelli, Laura
,
Maubert, Bastien
,
Pinchinat, Sophie
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 859 KB
Your tags:
english, 2015
10
Synthesizing structured reactive programs via deterministic tree automata
Brütsch, Benedikt
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 662 KB
Your tags:
english, 2015
11
A logic with revocable and refinable strategies
Chareton, Christophe
,
Brunel, Julien
,
Chemouil, David
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 731 KB
Your tags:
english, 2015
12
Existence of constants in regular splicing languages
Bonizzoni, Paola
,
Jonoska, Nataša
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 537 KB
Your tags:
english, 2015
13
Information retrieval with unambiguous output
Junnila, Ville
,
Laihonen, Tero
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 467 KB
Your tags:
english, 2015
14
Editorial Board
Journal:
Information and Computation
Year:
2015
File:
PDF, 40 KB
Your tags:
2015
15
Editorial Board
Journal:
Information and Computation
Year:
2015
File:
PDF, 39 KB
Your tags:
2015
16
Probabilistic computability and choice
Brattka, Vasco
,
Gherardi, Guido
,
Hölzl, Rupert
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 994 KB
Your tags:
english, 2015
17
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
Busard, Simon
,
Pecheur, Charles
,
Qu, Hongyang
,
Raimondi, Franco
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 823 KB
Your tags:
english, 2015
18
On the entropy of couplings
Kovačević, Mladen
,
Stanojević, Ivan
,
Šenk, Vojin
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 432 KB
Your tags:
english, 2015
19
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets
Roman, A.
,
Drewienkowski, M.
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 382 KB
Your tags:
english, 2015
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
×
×