Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Laurent Hascoët

Partial Evaluation With Inference Rules

New Generation Computing

Computer Networks

Theoretical Computer Science

English

Related publications

Inference Rules and Decision Rules

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Update by Means of Inference Rules

The Journal of Logic Programming

English

Efficient Inference of Partial Types

DAIMI Report Series

English

A Fuzzy Modelling With Iterative Generation Mechanism of Fuzzy Inference Rules

Journal of Japan Society for Fuzzy Theory and Systems

English

Biological Network Inference Using Low Order Partial Correlation

Molecular Biology

English

Bayesian Modeling and Inference for Clinical Trials With Partial Retrieved Data Following Dropout

Statistics in Medicine

English

Partial Polymorphic Type Inference and Higher-Order Unification

English

The Problem of the Epistemic Status of Rules: Wilfrid Sellars on the Material Rules of Inference

English

Empirical Likelihood Inference for the Cox Model With Time-Dependent Coefficients via Local Partial Likelihood

Scandinavian Journal of Statistics

English