Philippe Schnoebelen

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 18

Top Topics

Regular Languages

Quantifier Free

Rational Kernels

Top Venues

Log. Methods Comput. Sci.

Inf. Process. Lett.

Publications