Teruya Kobayashi

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Symbolic Representation

Constraint Language

Integrity Constraints

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. Electron. Notes Theor. Comput. Sci. 317 (2015)