Sciweavers

66 search results - page 5 / 14
» Rewriting Haskell Strings
Sort
View
91
Voted
AC
1993
Springer
15 years 4 months ago
Automatic Groups and String Rewriting
Robert H. Gilman
ICFP
2004
ACM
16 years 12 days ago
Regular expression patterns
We extend Haskell with regular expression patterns. Regular expression patterns provide means for matching and extracting data which goes well beyond ordinary pattern matching as ...
Niklas Broberg, Andreas Farre, Josef Svenningsson
FUIN
2007
120views more  FUIN 2007»
15 years 11 days ago
Concurrent Turing Machines
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
Berndt Farwer, Manfred Kudlek, Heiko Rölke