From LRDE
< User:Cd| Line 6: | Line 6: | ||
| outrotemplate = PublicationRowOutro |
| outrotemplate = PublicationRowOutro |
||
| sep = |
| sep = |
||
| + | }} |
||
| + | |||
| + | {{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vaucanson]] |
||
}} |
}} |
||
Revision as of 16:27, 15 September 2014
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] | ||||
| [[Publications/|]] |
A Type System for Weighted Automata and Rational Expressions, An XML format proposal for the description of weighted automata, transducers, and regular expressions, Derived-Term Automata of Multitape Rational Expressions, Derived-Term Automata of Weighted Rational Expressions with Quotient Operators, Derived-term Automata for Extended Weighted Rational Expressions, Implementation Concepts in Vaucanson 2, Inside Vaucanson, Introducing Vaucanson, On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson