Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kutsia, Temur - Institut für Symbolisches Rechnen, Johannes Kepler Universität Linz
A Rule-Based Framework for Solving Regular Context Sequence Constraints
Electronic Proceedings in Theoretical Computer Science ?, 2009, pp. 112.
This is a preliminary version of a paper that will appear in Electronic Proceedings
Foundations of the Rule-Based System Log Mircea Marin* --Temur Kutsia**
Regular Hedge Language Factorization Revisited Mircea Marin1
Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables
