dblp.uni-trier.dewww.uni-trier.de

Sebastian Bala Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
3EESebastian Bala: Complexity of Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints Between Regular Open Terms. Theory Comput. Syst. 39(1): 137-163 (2006)
2004
2EESebastian Bala: Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints between Regular Open Terms. STACS 2004: 596-607
2002
1EESebastian Bala: Intersection of Regular Languages and Star Hierarchy. ICALP 2002: 159-169

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)