Irène Guessarian
This page is under permanent (re)construction
Editor of FUNDAMENTA INFORMATICAE.
Policy: Fast and efficient processing of submitted papers.
Send me your paper in triplicate copies or as a .ps file.
Research Interests
Subsequence and subtree matching.
Verification.
Semantics and expressivity of logic programs.
Deductive data bases.
A short presentation of Early results in Semantics