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 208; Issue 5
Main
Information and Computation
Volume 208; Issue 5
Information and Computation
Volume 208; Issue 5
1
A coinductive calculus of binary trees
Alexandra Silva
,
Jan Rutten
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 857 KB
Your tags:
english, 2010
2
Numerical constraints on XML data
Sven Hartmann
,
Sebastian Link
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 1.06 MB
Your tags:
english, 2010
3
Structured anaphora to quantifier domains
Adrian Brasoveanu
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 455 KB
Your tags:
english, 2010
4
Functional interpretations of linear and intuitionistic logic
Paulo Oliva
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 282 KB
Your tags:
english, 2010
5
Hybrid logical analyses of the ambient calculus
Thomas Bolander
,
René Rydhof Hansen
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 821 KB
Your tags:
english, 2010
6
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
Alessandra Carbone
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 269 KB
Your tags:
english, 2010
7
Adjunct elimination in Context Logic for trees
Cristiano Calcagno
,
Thomas Dinsdale-Young
,
Philippa Gardner
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 396 KB
Your tags:
english, 2010
8
A sketch of a dynamic epistemic semiring
Kim Solin
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 162 KB
Your tags:
english, 2010
9
Modules over monads and initial semantics
André Hirschowitz
,
Marco Maggesi
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 698 KB
Your tags:
english, 2010
10
Logic, language, information and computation
Daniel Leivant
,
Ruy de Queiroz
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 65 KB
Your tags:
english, 2010
11
Continuation semantics for the Lambek–Grishin calculus
Raffaella Bernardi
,
Michael Moortgat
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 505 KB
Your tags:
english, 2010
12
On quantifier-rank equivalence between linear orders
Ryan Siders
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 257 KB
Your tags:
english, 2010
13
Inside Front Cover: Editorial Board
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 32 KB
Your tags:
english, 2010
14
Editorial Board (continued)
Journal:
Information and Computation
Year:
2010
File:
PDF, 31 KB
Your tags:
2010
15
A modular and parameterized presentation of pregroup calculus
Annie Foret
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 206 KB
Your tags:
english, 2010
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
×
×