Travelled to:1 × USA
Collaborated with:P.Deransart G.Ferrand
Talks about:subject (1) program (1) occur (1) check (1) nsto (1) not (1)
Person: Michel Téguia
DBLP: T=eacute=guia:Michel
Contributed to:
1991Wrote 1 papers:
- ISLP-1991-DeransartFT #source code
- NSTO Programs (Not Subject to Occur-Check) (PD, GF, MT), pp. 533–547.