( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Complexity Results on Register Context-Free Grammars and Register Tree Automata.

, , и . ICTAC, том 11187 из Lecture Notes in Computer Science, стр. 415-434. Springer, (2018)

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.

Takashi Seki

Hiroyuki Tan

Hiroyuki Kobayashi

Hideaki Seki

Birgit Sekinger

 

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

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability., , и . RTA, том 1833 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2000)TV white space availability in Japan estimated using D/U-based and I/N-based protection rules., , и . GLOBECOM, стр. 1302-1307. IEEE, (2012)Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions., , и . VTC Spring, стр. 1-5. IEEE, (2016)Optimal Run Problem for Weighted Register Automata., , и . ICTAC, том 11884 из Lecture Notes in Computer Science, стр. 91-110. Springer, (2019)Active Learning for Deterministic Bottom-Up Nominal Tree Automata., , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 342-359. Springer, (2022)Reactive Synthesis from Visibly Register Pushdown Automata., , и . ICTAC, том 12819 из Lecture Notes in Computer Science, стр. 334-353. Springer, (2021)Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments., , , , , , , , и . VTC Fall, стр. 1-5. IEEE, (2017)Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query., , и . ICCCS, стр. 257-262. IEEE, (2019)Security verification of programs with stack inspection., , и . SACMAT, стр. 31-40. ACM, (2001)Availability checking of dynamic spatial information for automobiles., , , и . ICSRS, стр. 505-511. IEEE, (2017)