( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
DiMo - Discrete Modelling Using Propositional Logic.

, , и . SAT, том 12831 из Lecture Notes in Computer Science, стр. 242-250. Springer, (2021)

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.

Norbert Hundeshagen

Gerlinde Hundeshagen

Arthur Hundeshagen

Gabriel Hundeshagen

Phillip Hundeshagen

 

Другие публикации лиц с тем же именем

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