with a (usually infinite) language generated by a finite automaton. Volker Diekert; Paul Gastin (2008). "First-order definable languages" (PDF). In Jörg...
29 KB (3,414 words) - 07:38, 22 July 2024
calculi. Volker Diekert, Grzegorz Rozenberg, eds. The Book of Traces, (1995) World Scientific, Singapore ISBN 981-02-2058-8 Volker Diekert, Yves Metivier...
2 KB (231 words) - 00:32, 7 March 2022
a conceptual perspective, Cambridge University Press, 2008, p. 588. Volker Diekert; Manfred Kufleitner; Gerhard Rosenberger; Ulrich Hertrampf (24 May 2016)...
18 KB (3,730 words) - 22:13, 18 January 2024
p.161 Proposition 2.2, Diekert and Métivier 1997. Section 2.3, Diekert and Métivier 1997. General references Diekert, Volker; Métivier, Yves (1997),...
11 KB (1,880 words) - 16:18, 26 October 2022
Grishchenko, Victor (2007). "Bouillon: A Wiki-Wiki Social Web". In Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei (eds.). Computer Science – Theory...
5 KB (487 words) - 03:40, 25 November 2023
in The Book of Traces, V. Diekert, G. Rozenberg, eds. (1995) World Scientific, Singapore ISBN 981-02-2058-8 Volker Diekert, Yves Métivier, "Partial Commutation...
8 KB (1,417 words) - 22:16, 19 July 2023
Theoretical Computer Science, 46: 159–174, doi:10.1016/0304-3975(86)90028-9 Volker Diekert; Grzegorz Rozenberg, eds. (1995). The Book of Traces. World Scientific...
5 KB (642 words) - 23:55, 19 February 2022
Christian Choffrut, Robert Cori, Maxime Crochemore Jacques Desarmenien, Volker Diekert, Dominique Foata, Christiane Frougny, Guo-Niu Han, Tero Harju, Philippe...
4 KB (254 words) - 16:43, 4 August 2022
Truthful Approximation Mechanisms for Scheduling Related Machines". In Diekert, Volker; Habib, Michel (eds.). Stacs 2004. Lecture Notes in Computer Science...
14 KB (1,767 words) - 07:02, 18 July 2024
dissertation, Über die Erkennbarkeit unendlicher Spuren, was supervised by Volker Diekert and published by Tuebner in 1996. She also earned a habilitation at...
3 KB (264 words) - 05:20, 9 August 2024