James Lipton

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 3

Top Topics

Constraint Logic Programming

Proof Theoretic

Database Query Languages

Constraint Solver

Top Venues

Formal Aspects Comput.

Theor. Comput. Sci.

Publications