Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables.

Kutsia, T. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	23 Sept 2009
Event title	Tunisia-Japan Workshop on Symbolic Computation in Software Science, SCSS 2009.
Event type	Conference
Location	TunisiaShow on map

Fields of science

101002 Analysis
101013 Mathematical logic
101001 Algebra
101012 Combinatorics
101020 Technical mathematics
102 Computer Sciences
101 Mathematics
102011 Formal languages
101005 Computer algebra
101025 Number theory
101003 Applied geometry
102025 Distributed systems

JKU Focus areas

Computation in Informatics and Mathematics