Author of the publication

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

Conjunctive queries over trees., , and . J. ACM, 53 (2): 238-272 (2006)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)General A- and AX-Unification via Optimized., and . IWWERT, volume 677 of Lecture Notes in Computer Science, page 23-42. Springer, (1991)Efficient dictionary-based text rewriting using subsequential transducers., and . Nat. Lang. Eng., 13 (4): 353-381 (2007)Space-Efficient Bimachine Construction Based on the Equalizer Accumulation Principle., , and . CoRR, (2018)Corpus analysis without prior linguistic knowledge : unsupervised mining of phrases and subphrase structure, and . arXiv:1602.05772 cs, (February 2016)arXiv: 1602.05772.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)Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures., and . J. Symb. Comput., 21 (2): 211-243 (1996)Integration Languages for Data-Driven Approaches to Ontology Population and Maintenance., , and . LDV Forum, 22 (2): 35-49 (2007)