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
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
english, 2010
3

Structured anaphora to quantifier domains

Adrian Brasoveanu
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 455 KB
english, 2010
4

Functional interpretations of linear and intuitionistic logic

Paulo Oliva
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 282 KB
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
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
english, 2010
8

A sketch of a dynamic epistemic semiring

Kim Solin
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 162 KB
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
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
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
english, 2010
12

On quantifier-rank equivalence between linear orders

Ryan Siders
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 257 KB
english, 2010
13

Inside Front Cover: Editorial Board

Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 32 KB
english, 2010
14

Editorial Board (continued)

Journal:
Information and Computation
Year:
2010
File:
PDF, 31 KB
2010
15

A modular and parameterized presentation of pregroup calculus

Annie Foret
Journal:
Information and Computation
Year:
2010
Language:
english
File:
PDF, 206 KB
english, 2010