Inductive Definition and Domain Theoretic Properties of Fully Abstract

Inductive Logic Programming in Databases: from Datalog to DL+log

Inductive types in the Calculus of Algebraic Constructions

Inductive types in the Calculus of Algebraic Constructions

Inductive-data-type Systems

Industrial-Strength Formally Certified SAT Solving

Infinitary Combinatory Reduction Systems: Confluence

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Infinitary Term Graph Rewriting

Infinite Oracle Queries in Type-2 Machines (Extended Abstract)

Initial Algebra Semantics for Cyclic Sharing Tree Structures

Initial Semantics for higher-order typed syntax in Coq

Injecting Abstract Interpretations into Linear Cost Models

Innocent strategies as presheaves and interactive equivalences for CCS

Instance Based Methods --- A Brief Overview

Instantiation of SMT problems modulo Integers

Instruction sequence processing operators

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Integrated Structure and Semantics for Reo Connectors and Petri Nets

Integrating design synthesis and assembly of structured objects in a visual design language