RDP
MEETINGS
VENUE
|
UNIF'03
|
17th International Workshop on Unification
Valencia, Spain, June 8-9, 2003
|
ABSTRACTS OF INVITED TALKS
Definitions, Unification, and the Sequent Calculus
|
Dale Miller
(Ecole Polytechnique, Palaiseau, France)
|
|
Test Sets for Large Families of Languages
|
Wojciech Plandowski
(Uniwersytet Warszawski, Warszawa, Poland)
|
We study the lower and upper bounds for sizes of test sets for the
families of all languages, of commutative languages, of regular
languages and of context-free languages. We show the connection of
these problems to problems on systems of word equations.
|
Last update May 2003 # sescobar@dsic.upv.es
|