From LRDE
< User:Cd| Line 1: | Line 1: | ||
| − | |||
| − | {{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vaucanson]] |
||
| − | | format = template |
||
| − | | template = PublicationRow |
||
| − | | introtemplate = PublicationRowIntro |
||
| − | | outrotemplate = PublicationRowOutro |
||
| − | | sep = |
||
| − | }} |
||
{{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vaucanson]] |
{{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vaucanson]] |
||
Revision as of 16:27, 15 September 2014
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