Inferring Termination Conditions for Logic Programs using Backwards Analysis

Initial Semantics for Strengthened Signatures

Instruction sequence notations with probabilistic instructions

Instruction sequences for the production of processes

Instruction sequences with dynamically instantiated instructions

Instruction sequences with indirect jumps

Instruments for the exploration of structural patterns in digitized astronomical images

Integrating Interval Constraints into Logic Programming

Integration of Declarative and Constraint Programming

Interaction and observation, categorically

Interactive Timetabling

Interlanguages and synchronic models of computation

International Solar-Terrestrial Program Data Processing Consortium

Introducing Dynamic Behavior in Amalgamated Knowledge Bases

Introduction to the Report "Interlanguages and Synchronic Models of Computation."

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Iterators, Recursors and Interaction Nets