Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Matching Patterns with Variables

10 Aprile 2017

sala seminari - U14 

AVVISO DI SEMINARIO

 

Lunedì 10 aprile 2017

alle ore 11:30

Nella Sala Seminari del DISCo


Dr. Florin Manea

Department of Computer Science, Kiel University

 

terrà un seminario dal titolo

 

Matching Patterns with Variables

 

Abstract: Patterns

A pattern (i.e., a string of variables and terminals) maps to a word, if this is obtained by uniformly replacing the variables by non-empty terminal words; deciding this is NP-complete in general. We present efficient algorithms that solve this problem for several restricted classes of patterns and discuss connections to other related problems. Finally, we discuss how solving efficiently the pattern matching problem for restricted patterns is connected to the complexity of deciding the satisfiability of word equations with sides fulfilling the respective restrictions.

 

 

Il seminario è aperto a tutti gli interessati.

Per informazioni:  Raffaella Rizzi rizzi@disco.unimib.it

Allegati:

In archivio dal: 11/04/2017


  

  

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 13/09/2017