( en | de | ru )

 

Disambiguation of "Hundeshagen, Norbert"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-Buffer Simulations for Trace Language Inclusion.

, , , , and . GandALF, volume 226 of EPTCS, page 213-227. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Norbert Hundeshagen

Arthur Hundeshagen

Gerlinde Hundeshagen

Gabriel Hundeshagen

Phillip Hundeshagen

 

Other publications of authors with the same name

Transducing by Observing and Restarting Transducers., and . NCMA, volume 290 of books@ocg.at, page 93-106. Österreichische Computer Gesellschaft, (2012)Transducing by observing length-reducing and painter rules., and . RAIRO Theor. Informatics Appl., 48 (1): 85-105 (2014)Characterizing the Regular Languages by Nonforgetting Restarting Automata., and . Developments in Language Theory, volume 6795 of Lecture Notes in Computer Science, page 288-299. Springer, (2011)A Hierarchy of Transducing Observer Systems., and . LATA, volume 8977 of Lecture Notes in Computer Science, page 727-738. Springer, (2015)A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper)., and . FMTea, volume 13122 of Lecture Notes in Computer Science, page 35-42. Springer, (2021)Restarting Transducers, Regular Languages, and Rational Relations., and . Theory Comput. Syst., 57 (1): 195-225 (2015)Weighted Restarting Automata and Pushdown Relations., , and . CAI, volume 9270 of Lecture Notes in Computer Science, page 196-207. Springer, (2015)Transducing by Observing., and . NCMA, volume 263 of books@ocg.at, page 85-98. Austrian Computer Society, (2010)DiMo - Discrete Modelling Using Propositional Logic., , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 242-250. Springer, (2021)Characterizing the Rational Functions by Restarting Transducers., and . LATA, volume 7183 of Lecture Notes in Computer Science, page 325-336. Springer, (2012)