Author of the publication

A Simple Method for Building Bimachines from Functional Finite-State Transducers.

, , and . CIAA, volume 10329 of Lecture Notes in Computer Science, page 113-125. Springer, (2017)

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.

 

Other publications of authors with the same name

Combination of Constraint Solving Techniques: An Algebraic POint of View., and . RTA, volume 914 of Lecture Notes in Computer Science, page 352-366. Springer, (1995)A Simple Method for Building Bimachines from Functional Finite-State Transducers., , and . CIAA, volume 10329 of Lecture Notes in Computer Science, page 113-125. Springer, (2017)General A- and AX-Unification via Optimized., and . IWWERT, volume 677 of Lecture Notes in Computer Science, page 23-42. Springer, (1991)Preferential cumulative reasoning and nonmonotonic semantic nets.. The Logic of Theory Change, volume 465 of Lecture Notes in Computer Science, page 223-240. Springer, (1989)Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures., and . J. Symb. Comput., 21 (2): 211-243 (1996)Corpus analysis without prior linguistic knowledge : unsupervised mining of phrases and subphrase structure, and . arXiv:1602.05772 cs, (February 2016)arXiv: 1602.05772.Conjunctive Queries over Trees, , and . CoRR, (2006)Deciding word neighborhood with universal neighborhood automata., , and . Theor. Comput. Sci., 412 (22): 2340-2355 (2011)Conjunctive Queries over Trees., , and . PODS, page 189-200. ACM, (2004)Plagiarism Detection for Indonesian Texts., and . iiWAS, page 595. ACM, (2013)