Concepedia

Jacqueline Vauzeilles

JV

3

Publications

82

Citations

3

H-Index

1984

Active since

Affiliations

Russian State University for the Humanities(Current)

Jacqueline Vauzeilles is an author at Russian State University for the Humanities specializing in engineering, automated reasoning, and logic programming.

Top concepts

Publications per year

1984–2001

3

Publications

3

Generating plans in linear logic

Marcel Masseron, Christophe Tollu, Jacqueline Vauzeilles · Theoretical Computer Science · 1993 · 38 citations

, , +4

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

Max Kanovich, Jacqueline Vauzeilles · Mathematical Structures in Computer Science · 2001 · 26 citations

, , +18

Functors and ordinal notations. I: A functorial construction of the veblen hierarchy

Jean-Yves Girard, Jacqueline Vauzeilles · Journal of Symbolic Logic · 1984 · 18 citations

, , +14

Rows per page

1–3 of 3