RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
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