6,122 datasets found

Wavelet Algorithms for Complex Models

An Object Oriented Requirements Capture and Analysis Environment

POTS: An OO LOTOS Specification

Dichotomy theorem for the generalized unique satisfiability problem

Comptage de l'ensemble des éléments de la base de Hilbert d'un système d'équa...

$\rho$-Calculus. Its Syntax and Basic Properties

Characterising Polytime through higher type Recursion

The Chip Problem

Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towar...

Maximal Repetitions in Words or How to Find all Squares in Linear Time

Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow

Unification in Extensions of Shallow Equational Theories

Rigid Reachability

Characters and conjugacy classes of the symmetric group

Using Rewriting and Strategies for Describing the B Predicate Prover

Light Multiset path ordering and Ptime - Two is better than one

Constructing orders by means of inductive definitions

On the sum of exponents of maximal repetitions in a word

Découvrir le monde de la nature et des objets avant six ans à l'école materne...

This dataset has no description

Les archives de la commission Lagarrigue (1970-1975)

This dataset has no description