×
Author ID: palenta.raphaela Recent zbMATH articles by "Palenta, Raphaela"
Published as: Palenta, Raphaela
Documents Indexed: 6 Publications since 2014
Co-Authors: 7 Co-Authors with 6 Joint Publications
204 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 16 times in 16 Documents Cited by Year
A map of update constraints in inductive inference. Zbl 1353.68152
Kötzing, Timo; Palenta, Raphaela
6
2016
Computing the longest common prefix of a context-free language in polynomial time. Zbl 1487.68150
Luttenberger, Michael; Palenta, Raphaela; Seidl, Helmut
4
2018
Deciding equivalence of linear tree-to-word transducers in polynomial time. Zbl 1436.68162
Boiret, Adrien; Palenta, Raphaela
3
2016
A map of update constraints in inductive inference. Zbl 1353.68151
Kötzing, Timo; Palenta, Raphaela
1
2014
Deciding equivalence of separated non-nested attribute systems in polynomial time. Zbl 1524.68166
Seidl, Helmut; Palenta, Raphaela; Maneth, Sebastian
1
2019
The complexity of primal logic with disjunction. Zbl 1327.68120
Magirius, Marco; Mundhenk, Martin; Palenta, Raphaela
1
2015
Deciding equivalence of separated non-nested attribute systems in polynomial time. Zbl 1524.68166
Seidl, Helmut; Palenta, Raphaela; Maneth, Sebastian
1
2019
Computing the longest common prefix of a context-free language in polynomial time. Zbl 1487.68150
Luttenberger, Michael; Palenta, Raphaela; Seidl, Helmut
4
2018
A map of update constraints in inductive inference. Zbl 1353.68152
Kötzing, Timo; Palenta, Raphaela
6
2016
Deciding equivalence of linear tree-to-word transducers in polynomial time. Zbl 1436.68162
Boiret, Adrien; Palenta, Raphaela
3
2016
The complexity of primal logic with disjunction. Zbl 1327.68120
Magirius, Marco; Mundhenk, Martin; Palenta, Raphaela
1
2015
A map of update constraints in inductive inference. Zbl 1353.68151
Kötzing, Timo; Palenta, Raphaela
1
2014